OxygenSensor |
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 3344-3346 | |
(subclass OxygenSensor MeasuringDevice) | Cars.kif 3343-3343 | OxygenSensor est une sous-classe de MeasuringDevice |
appearance as argument number 2 |
(termFormat EnglishLanguage OxygenSensor "oxygen sensor") | domainEnglishFormat.kif 65282-65282 |
antecedent |
(=> (instance ?OS OxygenSensor) (hasPurpose ?OS (exists (?O ?M) (and (instance ?O Oxygen) (instance ?M Measuring) (patient ?M ?O) (instrument ?M ?OS))))) |
Cars.kif 3348-3356 |