|
|
  HotTemperature
|
|
|
| appearance as argument number 1 |
|
|
| (documentation HotTemperature EnglishLanguage "HotTemperature describes how something has a high temperature") | Mid-level-ontology.kif 25705-25706 | |
| (instance HotTemperature TemperatureAttribute) | Mid-level-ontology.kif 25704-25704 | HotTemperature è un' istanza di TemperatureAttribute |
| appearance as argument number 2 |
|
|
| (successorAttribute WarmTemperature HotTemperature) | Mid-level-ontology.kif 25708-25708 | WarmTemperature è un immediato attributo successore di HotTemperature |
| (successorAttributeClosure ColdTemperature HotTemperature) | Mid-level-ontology.kif 25690-25690 | ColdTemperature è un attributo successore di HotTemperature |
| (termFormat EnglishLanguage HotTemperature "hot") | Mid-level-ontology.kif 25707-25707 |
| 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 25710-25725 |
|
| 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 |
|
|
|