Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AirConditioner
AirConditioner(air conditioner)air_conditioner, air_conditioning

appearance as argument number 1
-------------------------


(subclass AirConditioner ElectricDevice) Mid-level-ontology.kif 28560-28560 Air conditioner is a subclass of electric device
(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 28561-28563 Air conditioner is a subclass of electric device
(subclass AirConditioner HomeAppliance) Society.kif 636-636 Air conditioner is a subclass of home appliance
(subclass AirConditioner CoolingDevice) Society.kif 637-637 Air conditioner is a subclass of cooling device

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage AirConditioner "air conditioner") Mid-level-ontology.kif 28564-28564
(typicalPart AirConditioningCompressor AirConditioner) Cars.kif 1851-1851 A air conditioning compressor is typically a part of a air conditioner
(typicallyContainsPart AirConditioningCompressor AirConditioner) Cars.kif 1852-1852 A air conditioner typically has a part air conditioning compressor
(typicalPart AirConditioningCondenser AirConditioner) Cars.kif 1895-1895 A air conditioning condenser is typically a part of a air conditioner
(typicallyContainsPart AirConditioningCondenser AirConditioner) Cars.kif 1896-1896 A air conditioner typically has a part air conditioning condenser
(typicalPart AirConditioningEvaporator AirConditioner) Cars.kif 1919-1919 A air conditioning evaporator is typically a part of a air conditioner
(typicallyContainsPart AirConditioningEvaporator AirConditioner) Cars.kif 1920-1920 A air conditioner typically has a part air conditioning evaporator

antecedent
-------------------------


(=>
    (instance ?X AirConditioner)
    (hasPurpose ?X
        (exists (?PROC ?TEMP ?AREA)
            (and
                (located ?X ?AREA)
                (instance ?PROC Cooling)
                (instrument ?PROC ?X)))))		 Mid-level-ontology.kif 28566-28573 If X is an instance of air conditioner, then X has the purpose there exist Y, Z, W such that X is located at W, Y is an instance of cooling, and X is an instrument for Y

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 1505-1513 If temperature control is an amenity in X, then there exist Y, Z, W such that Z is an instance of X, Y is an instance of air conditioner, W is an instance of temperature control, W is located at Z, and W is a part of Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners