|
|
   Cliff
|
|
|
| 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 26873-26874 | |
| (subclass RoomHeater HeatingDevice) | Mid-level-ontology.kif 26872-26872 | RoomHeater は HeatingDevice の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RoomHeater "room heater") | Mid-level-ontology.kif 26875-26875 |
| 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 26877-26887 |
|
|
|