AirConditioner - Sigma Knowledge base Browser

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 27878-27880
(subclass AirConditioner ElectricDevice)	Mid-level-ontology.kif 27877-27877	Air conditioner is a subclass of electric device

appearance as argument number 2

(termFormat EnglishLanguage AirConditioner "air conditioner")	Mid-level-ontology.kif 27881-27881
(typicalPart AirConditioningCompressor AirConditioner)	Cars.kif 1990-1990	A air conditioning compressor is typically a part of a air conditioner
(typicalPart AirConditioningCondenser AirConditioner)	Cars.kif 2034-2034	A air conditioning condenser is typically a part of a air conditioner
(typicalPart AirConditioningEvaporator AirConditioner)	Cars.kif 2058-2058	A air conditioning evaporator is typically a part of a air conditioner
(typicallyContainsPart AirConditioningCompressor AirConditioner)	Cars.kif 1991-1991	A air conditioner typically has a part air conditioning compressor
(typicallyContainsPart AirConditioningCondenser AirConditioner)	Cars.kif 2035-2035	A air conditioner typically has a part air conditioning condenser
(typicallyContainsPart AirConditioningEvaporator AirConditioner)	Cars.kif 2059-2059	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 Process)
                (instrument ?PROC ?X)
                (result ?PROC
                    (airTemperature ?AREA ?TEMP))))))

Mid-level-ontology.kif 27883-27891

If a physical is an instance of air conditioner,
then the physical has the purpose there exist an entity, another entity and a third entity such that the physical is located at the third entity and the entity is an instance of process and the physical is an instrument for the entity and the other entity is an air temperature of the third entity is a result of the entity

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 a kind of hotel unit,
then there exist an object, another object and a third object such that the other object is an instance of a kind of hotel unit and the object is an instance of air conditioner and the third object is an instance of temperature control and the third object is located at the other object and the third object is a part of the object

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: