TreeView Knowledge Base Browser

appearance as argument number 1

(instance ColdTemperature TemperatureAttribute)	Mid-level-ontology.kif 28266-28266	Cold is an instance of temperature attribute
(documentation ColdTemperature EnglishLanguage "ColdTemperature is a type of TemperatureAttribute that has a low or inadequate temperature")	Mid-level-ontology.kif 28267-28268	Cold is an instance of temperature attribute
(successorAttributeClosure ColdTemperature HotTemperature)	Mid-level-ontology.kif 28270-28270	Cold is a successor attribute of hot
(successorAttribute ColdTemperature CoolTemperature)	Mid-level-ontology.kif 28276-28276	Cold is an immediate successor attribute of cool

appearance as argument number 2

(termFormat EnglishLanguage ColdTemperature "cold")

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

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