ColdTemperature - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ColdTemperature EnglishLanguage "ColdTemperature is a type of TemperatureAttribute that has a low or inadequate temperature")	Mid-level-ontology.kif 26794-26795
(instance ColdTemperature TemperatureAttribute)	Mid-level-ontology.kif 26793-26793	Cold is an instance of temperature attribute
(successorAttribute ColdTemperature CoolTemperature)	Mid-level-ontology.kif 26803-26803	Cold is an immediate successor attribute of cool
(successorAttributeClosure ColdTemperature HotTemperature)	Mid-level-ontology.kif 26797-26797	Cold is a successor attribute of hot

appearance as argument number 2

(termFormat EnglishLanguage ColdTemperature "cold")

Mid-level-ontology.kif 26796-26796

antecedent

(=>
    (and
        (immediateInstance ?X ?CLASS)
        (immediateInstance ?Y ?CLASS)
        (attribute ?X ColdTemperature)
        (attribute ?Y HotTemperature))
    (exists (?TEMPX ?TEMPY ?UNIT)
        (and
            (measure ?X
                (MeasureFn ?TEMPX ?UNIT))
            (instance ?UNIT UnitOfTemperature)
            (instance ?TEMPX TemperatureMeasure)
            (measure ?Y
                (MeasureFn ?TEMPY ?UNIT))
            (instance ?TEMPY TemperatureMeasure)
            (greaterThan ?TEMPY ?TEMPX))))

Mid-level-ontology.kif 26817-26832

consequent

(=>
    (and
        (instance ?T TemperatureFallingExperiencedAsFeelingCold)
        (located ?T ?L)
        (experiencer ?T ?A))
    (holdsDuring
        (WhenFn ?T)
        (believes ?A
            (attribute ?L ColdTemperature))))

emotion.kif 1551-1558