|
|
   AirConditioner
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AirConditioner EnglishLanguage "AirConditioner is a type of ElectricDevice that is designed to provide comfort during hot or cold weather by keeping the air in an area a specific temperature") | Mid-level-ontology.kif 23975-23977 | |
| (subclass AirConditioner ElectricDevice) | Mid-level-ontology.kif 23974-23974 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AirConditioner "air conditioner") | Mid-level-ontology.kif 23978-23978 | |
| (typicalPart AirConditioningCompressor AirConditioner) | Cars.kif 1992-1992 | |
| (typicalPart AirConditioningCondenser AirConditioner) | Cars.kif 2036-2036 | |
| (typicalPart AirConditioningEvaporator AirConditioner) | Cars.kif 2060-2060 | |
| (typicallyContainsPart AirConditioningCompressor AirConditioner) | Cars.kif 1993-1993 | |
| (typicallyContainsPart AirConditioningCondenser AirConditioner) | Cars.kif 2037-2037 | |
| (typicallyContainsPart AirConditioningEvaporator AirConditioner) | Cars.kif 2061-2061 |
| antecedent |
|
|
| (=> (instance ?X AirConditioner) (hasPurpose ?X (exists (?PROC ?TEMP ?AREA) (and (located ?X ?AREA) (instance ?PROC Process) (instrument ?PROC ?X) (result ?PROC (airTemperature ?AREA ?TEMP)))))) |
Mid-level-ontology.kif 23980-23988 |
| consequent |
|
|
| (=> (roomAmenity ?HR TemperatureControl) (exists (?DEVICE ?ROOM ?TEMP) (and (instance ?ROOM ?HR) (instance ?DEVICE AirConditioner) (instance ?TEMP TemperatureControl) (located ?TEMP ?ROOM) (part ?TEMP ?DEVICE)))) |
Hotel.kif 1438-1446 |
|
|
|