Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MassAirflowSensor(mass airflow sensor) |
| appearance as argument number 1 |
|
| (subclass MassAirflowSensor MeasuringDevice) | Cars.kif 3187-3187 | Mass airflow sensor is a subclass of measuring device |
| (documentation MassAirflowSensor EnglishLanguage "A Device that measures the amount of Air flowing to the throttle body in a fuel injection system. It sends this information to the EngineControlModule.") | Cars.kif 3189-3191 | Mass airflow sensor is a subclass of measuring device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MassAirflowSensor "mass airflow sensor") | Cars.kif 3188-3188 |
| antecedent |
|
|
| (=> (instance ?MAS MassAirflowSensor) (hasPurpose ?MAS (exists (?T ?M ?A) (and (instance ?T Transfer) (instance ?A Air) (patient ?T ?A) (instance ?M Measuring) (patient ?M ?A) (instrument ?M ?MAS))))) |
Cars.kif 3193-3203 | If X is an instance of mass airflow sensor, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) W is an instance of air (4) W is a patient of Y (5) Z is an instance of measuring (6) W is a patient of Z (7) X is an instrument for Z |
|