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 | Hot is an instance of temperature attribute |
appearance as argument number 2 |
(successorAttribute WarmTemperature HotTemperature) | Mid-level-ontology.kif 25720-25720 | Warm is an immediate successor attribute of hot |
(successorAttributeClosure ColdTemperature HotTemperature) | Mid-level-ontology.kif 25702-25702 | Cold is a successor attribute of hot |
(termFormat EnglishLanguage HotTemperature "hot") | Mid-level-ontology.kif 25719-25719 |
antecedent |
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 |
|