| RoomHeater(room heater) | | convector, electric_fire, electric_heater, heat, heat_lamp, heater, heating, heating_plant, heating_system, infrared_lamp, radiator, space_heater, warmer |
| 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 27935-27936 | |
| (subclass RoomHeater HeatingDevice) | Mid-level-ontology.kif 27934-27934 | Room heater is a subclass of heating device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RoomHeater "room heater") | Mid-level-ontology.kif 27937-27937 |
| 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 27939-27949 |
|
|
|
|