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


KB Term:  Term intersection
English Word: 

  AirConditioner

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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