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 3396-3398
(subclass OxygenSensor MeasuringDevice)	Cars.kif 3395-3395

appearance as argument number 2

(termFormat EnglishLanguage OxygenSensor "oxygen sensor")

domainEnglishFormat.kif 65307-65307

antecedent

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

Cars.kif 3400-3408