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 26828-26829 | |
(subclass RoomHeater HeatingDevice) | Mid-level-ontology.kif 26827-26827 | RoomHeater est une sous-classe de HeatingDevice |
appearance as argument number 2 |
(termFormat EnglishLanguage RoomHeater "room heater") | Mid-level-ontology.kif 26830-26830 |
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 26832-26842 |