Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirConditioner

Sigma KEE - AirConditioner
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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners