| AirPump | |
| appearance as argument number 1 |
|
|
| (documentation AirPump EnglishLanguage "Any Pump designed to move Air.") | Cars.kif 1207-1207 | |
| (subclass AirPump Pump) | Cars.kif 1205-1205 | AirPump 是 泵 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AirPump "air pump") | Cars.kif 1206-1206 |
| antecedent |
|
|
| (=> (instance ?AP AirPump) (hasPurpose ?AP (exists (?T ?A) (and (instance ?T Transportation) (instance ?A Air) (instrument ?T ?AP) (patient ?T ?A))))) |
Cars.kif 1209-1217 |
|
|
|