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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TemperatureControl

Sigma KEE - TemperatureControl
TemperatureControl

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


(defaultMaximumHeight TemperatureControl
    (MeasureFn 1.5 Inch))
DimensioningAmenities.kif 469-469
(defaultMaximumLength TemperatureControl
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 473-473
(defaultMaximumMeasure TemperatureControl
    (MeasureFn 24 OunceMass))
DimensioningAmenities.kif 475-475
(defaultMaximumWidht TemperatureControl
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 471-471
(defaultMinimumHeight TemperatureControl
    (MeasureFn 0.25 Inch))
DimensioningAmenities.kif 468-468
(defaultMinimumLength TemperatureControl
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 472-472
(defaultMinimumMeasure TemperatureControl
    (MeasureFn 8 OunceMass))
DimensioningAmenities.kif 474-474
(defaultMinimumWidth TemperatureControl
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 470-470
(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 1129-1131
(subclass TemperatureControl Controller) engineering.kif 1128-1128

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


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

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 ?X)
                        (result ?PROC
                            (airTemperature ?AREA ?TEMP))))))))
engineering.kif 1134-1146
(=>
    (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

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