OxygenSensor - Sigma Knowledge base Browser

appearance as argument number 1

(documentation OxygenSensor EnglishLanguage "A sensor that measures Oxygen. Typically it is to measure the Exhaust of an Automobile. More oxygen signals a lean fuel mixture, and less a rich one.")	Cars.kif 3397-3399
(subclass OxygenSensor MeasuringDevice)	Cars.kif 3396-3396	Oxygen sensor is a subclass of measuring device

appearance as argument number 2

(termFormat EnglishLanguage OxygenSensor "oxygen sensor")

domainEnglishFormat.kif 65305-65305

antecedent

(=>
    (instance ?OS OxygenSensor)
    (hasPurpose ?OS
        (exists (?O ?M)
            (and
                (instance ?O Oxygen)
                (instance ?M Measuring)
                (patient ?M ?O)
                (instrument ?M ?OS)))))

Cars.kif 3401-3409