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 25977-25979 | |
(subclass AirConditioner ElectricDevice) | Mid-level-ontology.kif 25976-25976 |
appearance as argument number 2 |
(termFormat EnglishLanguage AirConditioner "air conditioner") | Mid-level-ontology.kif 25980-25980 | |
(typicalPart AirConditioningCompressor AirConditioner) | Cars.kif 2012-2012 | |
(typicalPart AirConditioningCondenser AirConditioner) | Cars.kif 2056-2056 | |
(typicalPart AirConditioningEvaporator AirConditioner) | Cars.kif 2080-2080 | |
(typicallyContainsPart AirConditioningCompressor AirConditioner) | Cars.kif 2013-2013 | |
(typicallyContainsPart AirConditioningCondenser AirConditioner) | Cars.kif 2057-2057 | |
(typicallyContainsPart AirConditioningEvaporator AirConditioner) | Cars.kif 2081-2081 |
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 25982-25990 |
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 1494-1502 |