Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TemperatureAttribute
TemperatureAttribute

appearance as argument number 1
-------------------------


(documentation TemperatureAttribute EnglishLanguage "TemperatureAttribute is an attribute that describes the temperature of a certain object") Mid-level-ontology.kif 23640-23641
(subclass TemperatureAttribute SubjectiveAssessmentAttribute) Mid-level-ontology.kif 23639-23639 subclass TemperatureAttribute and SubjectiveAssessmentAttribute

appearance as argument number 2
-------------------------


(instance ColdTemperature TemperatureAttribute) Mid-level-ontology.kif 23655-23655 instance ColdTemperature and TemperatureAttribute
(instance CoolTemperature TemperatureAttribute) Mid-level-ontology.kif 23661-23661 instance CoolTemperature and TemperatureAttribute
(instance HotTemperature TemperatureAttribute) Mid-level-ontology.kif 23673-23673 instance HotTemperature and TemperatureAttribute
(instance WarmTemperature TemperatureAttribute) Mid-level-ontology.kif 23667-23667 instance WarmTemperature and TemperatureAttribute
(termFormat EnglishLanguage TemperatureAttribute "temperature attribute") Mid-level-ontology.kif 23642-23642

antecedent
-------------------------


(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y TemperatureAttribute)
        (instance ?X Object))
    (exists (?TEMP)
        (and
            (measure ?X ?TEMP)
            (instance ?TEMP TemperatureMeasure)
            (attribute ?TEMP ?Y))))
Mid-level-ontology.kif 23644-23653


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners