FeelerGauge - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FeelerGauge MeasuringDevice)	Cars.kif 2626-2626	Feeler gauge is a subclass of measuring device
(documentation FeelerGauge EnglishLanguage "A Device used to measure small gaps. It is typically a CollectionOfObjects 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 2628-2632	Feeler gauge is a subclass of measuring device

appearance as argument number 2

(termFormat EnglishLanguage FeelerGauge "feeler gauge")

antecedent

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

If X is an instance of feeler gauge, then X has the purpose there exist Y, Z such that Z is an instance of measuring, Y is an instance of tactile perception, Y is a subprocess of Z, and X is an instrument for Z