| RoomHeater | |
| appearance as argument number 1 |
|
|
| (documentation RoomHeater EnglishLanguage "RoomHeater is a type of HeatingDevice that heats the air in a confined space") | Mid-level-ontology.kif 28741-28742 | |
| (subclass RoomHeater HeatingDevice) | Mid-level-ontology.kif 28740-28740 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RoomHeater "room heater") | Mid-level-ontology.kif 28743-28743 |
| antecedent |
|
|
| (=> (instance ?X RoomHeater) (hasPurpose ?X (exists (?AIR ?HEATING ?ROOM) (and (instance ?AIR Air) (instance ?ROOM Room) (located ?AIR ?ROOM) (instance ?HEATING Heating) (patient ?HEATING ?AIR) (instrument ?HEATING ?X))))) |
Mid-level-ontology.kif 28745-28755 |
|
|
|