TreeView Knowledge Base Browser

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))))

If X is an immediate instance of Y, Z is an immediate instance of Y, cold is an attribute of X, and hot is an attribute of Z, then there exist W, V and U such that the measure of X is W U(s) and U is an instance of unit of temperature and W is an instance of temperature measure and the measure of Z is V U(s) and V is an instance of temperature measure and V is greater than W

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))))

If X is an instance of long black, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of pouring (3) Z is a patient of Y (4) Z is an instance of potable water (5) hot is an attribute of Z (6) Y ends up at W (7) W is an instance of espresso (8) X is a result of Y

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

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