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


KB Term:  Term intersection
English Word: 

  TemperatureControl

 Sigma KEE - TemperatureControl
TemperatureControl(temperature control)

appearance as argument number 1
-------------------------


(defaultMinimumHeight TemperatureControl
    (MeasureFn 0.25 Inch))		 DimensioningAmenities.kif 468-468 The minimum expected height of temperature control is 0.25 inch(s)
(defaultMaximumHeight TemperatureControl
    (MeasureFn 1.5 Inch))		 DimensioningAmenities.kif 469-469 The maximum expected height of temperature control is 1.5 inch(s)
(defaultMinimumWidth TemperatureControl
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 470-470 The minimum expected width of temperature control is 2 inch(s)
(defaultMaximumWidth TemperatureControl
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 471-471 The maximum expected width of temperature control is 4 inch(s)
(defaultMinimumLength TemperatureControl
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 472-472 The minimum expected length of temperature control is 4 inch(s)
(defaultMaximumLength TemperatureControl
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 473-473 The maximum expected length of temperature control is 6 inch(s)
(defaultMinimumMeasure TemperatureControl
    (MeasureFn 8 OunceMass))		 DimensioningAmenities.kif 474-474 The minimum expected value of temperature control is 8 Ounce(s)
(defaultMaximumMeasure TemperatureControl
    (MeasureFn 24 OunceMass))		 DimensioningAmenities.kif 475-475 The maximum expected value of temperature control is 24 Ounce(s)
(subclass TemperatureControl Controller) engineering.kif 1557-1557 Temperature control is a subclass of controller
(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 1558-1560 Temperature control is a subclass of controller

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage TemperatureControl "temperature control") engineering.kif 1561-1561

antecedent
-------------------------


(=>
    (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
(=>
    (instance ?CTRL TemperatureControl)
    (exists (?DEVICE ?TEMP)
        (and
            (instance ?DEVICE ElectricDevice)
            (part ?CTRL ?DEVICE)
            (hasPurpose ?DEVICE
                (exists (?PROC)
                    (and
                        (instance ?AREA Region)
                        (or
                            (instance ?PROC Heating)
                            (instance ?PROC Cooling))
                        (instrument ?PROC ?CTRL)))))))		 engineering.kif 1563-1576 If X is an instance of temperature control, then there exist Y, Z such that Y is an instance of electric device, X is a part of Y, Y has the purpose there exists W such that V is an instance of region, W is an instance of heating or W is an instance of cooling, and X is an instrument for W

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