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 ist ein fall von TemperatureAttribute %n{nicht} |
appearance as argument number 2 |
(successorAttribute WarmTemperature HotTemperature) | Mid-level-ontology.kif 25720-25720 | WarmTemperature ist ein direkter nachfolgerattribut von HotTemperature |
(successorAttributeClosure ColdTemperature HotTemperature) | Mid-level-ontology.kif 25702-25702 | ColdTemperature ist ein nachfolgerattribut von HotTemperature |
(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 |
|