FeelerGauge - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FeelerGauge EnglishLanguage "A Device used to measure small gaps. It is typically a Collection of several such gauges of varying thicknesses that a user places into the gap until one is found that fits with slight resistence, which indicates a good assessment of the size of the gap. A typical use is measure the gap between electrodes of a SparkPlug.")	Cars.kif 2773-2777
(subclass FeelerGauge MeasuringDevice)	Cars.kif 2771-2771	Feeler gauge is a subclass of measuring device

appearance as argument number 2

(termFormat EnglishLanguage FeelerGauge "feeler gauge")

Cars.kif 2772-2772

antecedent

(=>
    (instance ?FG FeelerGauge)
    (hasPurpose ?FG
        (exists (?TP ?M)
            (and
                (instance ?M Measuring)
                (instance ?TP TactilePerception)
                (subProcess ?TP ?M)
                (instrument ?M ?FG)))))

Cars.kif 2779-2787