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 26812-26813
(instance HotTemperature TemperatureAttribute)	Mid-level-ontology.kif 26811-26811	Hot is an instance of temperature attribute

appearance as argument number 2

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

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

(=>
    (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