| AirPump(air pump) | | air_pump, inflater, inflator, vacuum_pump |
| appearance as argument number 1 |
|
|
| (documentation AirPump EnglishLanguage "Any Pump designed to move Air.") | Mid-level-ontology.kif 26618-26618 | |
| (subclass AirPump Pump) | Mid-level-ontology.kif 26616-26616 | Air pump is a subclass of pump |
| appearance as argument number 2 |
|
|
| (subclass InvasiveVentilator AirPump) | Medicine.kif 4089-4089 | InvasiveVentilator is a subclass of air pump |
| (subclass NonInvasiveVentilator AirPump) | Medicine.kif 4085-4085 | NonInvasiveVentilator is a subclass of air pump |
| (termFormat EnglishLanguage AirPump "air pump") | Mid-level-ontology.kif 26617-26617 | NonInvasiveVentilator is a subclass of air pump |
| antecedent |
|
|
| (=> (instance ?AP AirPump) (hasPurpose ?AP (exists (?T ?A) (and (instance ?T Transportation) (instance ?A Air) (instrument ?T ?AP) (patient ?T ?A))))) |
Mid-level-ontology.kif 26620-26628 |
|
|
|
|