Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WaterHeater
|
|
|
| appearance as argument number 1 |
|
|
| (subclass WaterHeater HeatingDevice) | Mid-level-ontology.kif 28228-28228 | Water heater is a subclass of heating device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WaterHeater "water heater") | domainEnglishFormat.kif 65726-65726 |
| antecedent |
|
|
| (=> (instance ?X WaterHeater) (hasPurpose ?X (exists (?HEAT ?WATER) (and (instance ?HEAT Heating) (instance ?WATER FreshWater) (patient ?HEAT ?WATER) (instrument ?HEAT ?X))))) |
Mid-level-ontology.kif 28230-28238 | If X is an instance of water heater, then X has the purpose there exist Y, Z such that Y is an instance of heating, Z is an instance of freshwater, Z is a patient of Y, and X is an instrument for Y |
| (=> (and (instance ?X HeatedPool) (contains ?X ?WATER) (instance ?WATER FreshWater) (part ?X ?HEATER) (instance ?HEATER WaterHeater) (attribute ?HEATER DeviceOn)) (attribute ?WATER WarmTemperature)) |
Mid-level-ontology.kif 29423-29431 | If All of the following hold: (1) X is an instance of heated pool (2) X contains Y (3) Y is an instance of freshwater (4) X is a part of Z (5) Z is an instance of water heater (6) device on is an attribute of Z, then warm is an attribute of Y |
|