|
|
  HotTemperature
|
|
|
| appearance as argument number 1 |
|
|
| (documentation HotTemperature EnglishLanguage "HotTemperature describes how something has a high temperature") | Mid-level-ontology.kif 25750-25751 | |
| (instance HotTemperature TemperatureAttribute) | Mid-level-ontology.kif 25749-25749 | HotTemperature e' uma instancia de TemperatureAttribute |
| appearance as argument number 2 |
|
|
| (successorAttribute WarmTemperature HotTemperature) | Mid-level-ontology.kif 25753-25753 | WarmTemperature e' um atributo sucessor immediato de HotTemperature |
| (successorAttributeClosure ColdTemperature HotTemperature) | Mid-level-ontology.kif 25735-25735 | ColdTemperature e' um atributo sucessor de HotTemperature |
| (termFormat EnglishLanguage HotTemperature "hot") | Mid-level-ontology.kif 25752-25752 |
| antecedent |
|
|
| (=> (and (immediateInstance ?X ?CLASS) (immediateInstance ?Y ?CLASS) (attribute ?X ColdTemperature) (attribute ?Y HotTemperature)) (exists (?TEMPX ?TEMPY ?UNIT) (and (measure ?X (MeasureFn ?TEMPX ?UNIT)) (instance ?UNIT UnitOfTemperature) (instance ?TEMPX TemperatureMeasure) (measure ?Y (MeasureFn ?TEMPY ?UNIT)) (instance ?TEMPY TemperatureMeasure) (greaterThan ?TEMPY ?TEMPX)))) |
Mid-level-ontology.kif 25755-25770 |
|
| consequent |
|
|
| (=> (instance ?L LongBlack) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (attribute ?W HotTemperature) (destination ?P ?E) (instance ?E Espresso) (result ?P ?L)))) |
Food.kif 1429-1439 |
|
|
|
|