HotTemperature |
appearance as argument number 1 |
(documentation HotTemperature EnglishLanguage "HotTemperature describes how something has a high temperature") | Mid-level-ontology.kif 25717-25718 | |
(instance HotTemperature TemperatureAttribute) | Mid-level-ontology.kif 25716-25716 | HotTemperature est une instance de TemperatureAttribute |
appearance as argument number 2 |
(successorAttribute WarmTemperature HotTemperature) | Mid-level-ontology.kif 25720-25720 | WarmTemperature est un attribut successeur imm�diat de HotTemperature |
(successorAttributeClosure ColdTemperature HotTemperature) | Mid-level-ontology.kif 25702-25702 | ColdTemperature est un attribut successeur de HotTemperature |
(termFormat EnglishLanguage HotTemperature "hot") | Mid-level-ontology.kif 25719-25719 |
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 25722-25737 |
|
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 |
|