TemperatureControl - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TemperatureControl EnglishLanguage "TemperatureControl is a type of Controller that is used to set the ideal airTemperature in the room. It is normally a part of an ElectricDevice that conditions the room to reach that temperature")	engineering.kif 1134-1136
(subclass TemperatureControl Controller)	engineering.kif 1133-1133	Temperature control is a subclass of controller

appearance as argument number 2

(termFormat EnglishLanguage TemperatureControl "temperature control")

engineering.kif 1137-1137

antecedent

(=> (instance ?CTRL TemperatureControl) (exists (?DEVICE ?TEMP) (and (instance ?DEVICE ElectricDevice) (part ?CTRL ?DEVICE) (hasPurpose ?DEVICE (exists (?PROC ?AREA) (and (instance ?AREA Region) (instance ?PROC Process) (instrument ?PROC ?CTRL) (result ?PROC (airTemperature ?AREA ?TEMP))))))))	engineering.kif 1139-1151	If an object is an instance of temperature control, then there exist another object and an entity such that the other object is an instance of electric device and the object is a part of the other object and the other object has the purpose there exist another entity and a third entity such that the third entity is an instance of region and the other entity is an instance of process and the object is an instrument for the other entity and the entity is an air temperature of the third entity is a result of the other entity
(=> (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	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

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

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: