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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HotTemperature
HotTemperature

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


(documentation HotTemperature EnglishLanguage "HotTemperature describes how something has a high temperature") Mid-level-ontology.kif 23637-23638
(instance HotTemperature TemperatureAttribute) Mid-level-ontology.kif 23636-23636 instance HotTemperature and TemperatureAttribute

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


(successorAttribute WarmTemperature HotTemperature) Mid-level-ontology.kif 23640-23640 successorAttribute WarmTemperature and HotTemperature
(successorAttributeClosure ColdTemperature HotTemperature) Mid-level-ontology.kif 23622-23622 successorAttributeClosure ColdTemperature and HotTemperature
(termFormat EnglishLanguage HotTemperature "hot") Mid-level-ontology.kif 23639-23639 termFormat EnglishLanguage, HotTemperature and "hot"

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


(=>
    (and
        (immediateInstance ?X ?CLASS)
        (immediateInstance ?Y ?CLASS)
        (attribute ?X ColdTemperature)
        (attribute ?Y HotTemperature))
    (exists (?TEMPX ?TEMPY)
        (and
            (measure ?X ?TEMPX)
            (instance ?TEMPX TemperatureMeasure)
            (measure ?Y ?TEMPY)
            (instance ?TEMPY TemperatureMeasure)
            (greaterThan ?TEMPY ?TEMPX))))
Mid-level-ontology.kif 23642-23654


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners