|
|
   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 是 测量工具 的 subclass |
| 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 |
|
|
|