HotTemperature(hot) | blistering, blistery, hot, scorching, sweltering, sweltry |
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 | Hot is an instance of temperature attribute |
appearance as argument number 2 |
(successorAttribute WarmTemperature HotTemperature) | Mid-level-ontology.kif 25708-25708 | Warm is an immediate successor attribute of hot |
(successorAttributeClosure ColdTemperature HotTemperature) | Mid-level-ontology.kif 25690-25690 | Cold is a successor attribute of hot |
(termFormat EnglishLanguage HotTemperature "hot") | Mid-level-ontology.kif 25707-25707 |
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 |
|