PROXIMITY MEASURING INSTRUMENT

Definition A <PROXIMITY MEASURING INSTRUMENT> is a <MEASURING INSTRUMENT> for the measurement of <PROXIMITY>, that handles the measurement result from a <PROXIMITY MEASURING ELEMENT>