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