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 27617-27618
(instance HotTemperature TemperatureAttribute)	Mid-level-ontology.kif 27616-27616	HotTemperature は TemperatureAttribute の instance では

appearance as argument number 2

(successorAttribute WarmTemperature HotTemperature)	Mid-level-ontology.kif 27620-27620	WarmTemperature は HotTemperature の immediate successor attribute では
(successorAttributeClosure ColdTemperature HotTemperature)	Mid-level-ontology.kif 27602-27602	ColdTemperature は HotTemperature の successor attribute では
(termFormat EnglishLanguage HotTemperature "hot")	Mid-level-ontology.kif 27619-27619	ColdTemperature は HotTemperature の successor attribute では

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 27622-27637

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 1430-1440