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 3336-3338 | |
(subclass OxygenSensor MeasuringDevice) | Cars.kif 3335-3335 | OxygenSensor e' uma sub-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 3340-3348 |