HotTemperature - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HotTemperature EnglishLanguage "HotTemperature describes how something has a high temperature")	Mid-level-ontology.kif 25705-25706
(instance HotTemperature TemperatureAttribute)	Mid-level-ontology.kif 25704-25704	Hot is an instance of temperature attribute

appearance as argument number 2

(successorAttribute WarmTemperature HotTemperature)	Mid-level-ontology.kif 25708-25708	Warm is an immediate successor attribute of hot
(successorAttributeClosure ColdTemperature HotTemperature)	Mid-level-ontology.kif 25690-25690	Cold is a successor attribute of hot
(termFormat EnglishLanguage HotTemperature "hot")	Mid-level-ontology.kif 25707-25707

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 25710-25725

consequent

(=>
    (instance ?L LongBlack)
    (exists (?P ?W ?E)
        (and
            (instance ?P Pouring)
            (patient ?P ?W)
            (instance ?W DrinkingWater)
            (attribute ?W HotTemperature)
            (destination ?P ?E)
            (instance ?E Espresso)
            (result ?P ?L))))

Food.kif 1429-1439