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