TemperatureAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TemperatureAttribute SubjectiveAssessmentAttribute)	Mid-level-ontology.kif 28250-28250	Temperature attribute is a subclass of subjective assessment attribute
(documentation TemperatureAttribute EnglishLanguage "TemperatureAttribute is an attribute that describes the temperature of a certain object")	Mid-level-ontology.kif 28251-28252	Temperature attribute is a subclass of subjective assessment attribute

appearance as argument number 2

(termFormat EnglishLanguage TemperatureAttribute "temperature attribute")	Mid-level-ontology.kif 28253-28253
(instance ColdTemperature TemperatureAttribute)	Mid-level-ontology.kif 28266-28266	Cold is an instance of temperature attribute
(instance CoolTemperature TemperatureAttribute)	Mid-level-ontology.kif 28272-28272	Cool is an instance of temperature attribute
(instance WarmTemperature TemperatureAttribute)	Mid-level-ontology.kif 28278-28278	Warm is an instance of temperature attribute
(instance HotTemperature TemperatureAttribute)	Mid-level-ontology.kif 28284-28284	Hot is an instance of temperature attribute

antecedent

(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y TemperatureAttribute)
        (instance ?X Object))
    (exists (?TEMP)
        (and
            (measure ?X ?TEMP)
            (instance ?TEMP TemperatureMeasure)
            (attribute ?TEMP ?Y))))

If X is an attribute of Y, X is an instance of temperature attribute, and Y is an instance of object, then there exists Z such that the measure of Y is Z, Z is an instance of temperature measure, and X is an attribute of Z