Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass RoomHeater HeatingDevice) | Mid-level-ontology.kif 29433-29433 | Room heater is a subclass of heating device |
| (documentation RoomHeater EnglishLanguage "RoomHeater is a type of HeatingDevice that heats the air in a confined space") | Mid-level-ontology.kif 29434-29435 | Room heater is a subclass of heating device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RoomHeater "room heater") | Mid-level-ontology.kif 29436-29436 |
| 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 29438-29448 | If X is an instance of room heater, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of air (3) W is an instance of room (4) Y is located at W (5) Z is an instance of heating (6) Y is a patient of Z (7) X is an instrument for Z |
|