| HotTemperature | |
| appearance as argument number 1 |
|
|
| (documentation HotTemperature EnglishLanguage "HotTemperature describes how something has a high temperature") | Mid-level-ontology.kif 23674-23675 | |
| (instance HotTemperature TemperatureAttribute) | Mid-level-ontology.kif 23673-23673 | instance HotTemperature and TemperatureAttribute |
| appearance as argument number 2 |
|
|
| (successorAttribute WarmTemperature HotTemperature) | Mid-level-ontology.kif 23677-23677 | successorAttribute WarmTemperature and HotTemperature |
| (successorAttributeClosure ColdTemperature HotTemperature) | Mid-level-ontology.kif 23659-23659 | successorAttributeClosure ColdTemperature and HotTemperature |
| (termFormat EnglishLanguage HotTemperature "hot") | Mid-level-ontology.kif 23676-23676 |
| 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 23679-23691 |
|
|
|
|