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 25556-25556 | |
(subclass AirPump Pump) | Mid-level-ontology.kif 25554-25554 | Air pump is a subclass of pump |
appearance as argument number 2 |
(subclass InvasiveVentilator AirPump) | Medicine.kif 4101-4101 | InvasiveVentilator is a subclass of air pump |
(subclass NonInvasiveVentilator AirPump) | Medicine.kif 4097-4097 | NonInvasiveVentilator is a subclass of air pump |
(termFormat EnglishLanguage AirPump "air pump") | Mid-level-ontology.kif 25555-25555 |
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 25558-25566 |
|