TemperatureControl - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1134-1136
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1133-1133	Temperature control is a subclass of controller

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

engineering.kif 1137-1137

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.

Hotel.kif 1494-1502