TemperatureAttribute |
appearance as argument number 1 |
(documentation TemperatureAttribute EnglishLanguage "TemperatureAttribute is an attribute that describes the temperature of a certain object") | Mid-level-ontology.kif 25683-25684 | |
(subclass TemperatureAttribute SubjectiveAssessmentAttribute) | Mid-level-ontology.kif 25682-25682 | TemperatureAttribute ist eine teilkategorie von SubjectiveAssessmentAttribute |
appearance as argument number 2 |
(instance ColdTemperature TemperatureAttribute) | Mid-level-ontology.kif 25698-25698 | ColdTemperature ist ein fall von TemperatureAttribute %n{nicht} |
(instance CoolTemperature TemperatureAttribute) | Mid-level-ontology.kif 25704-25704 | CoolTemperature ist ein fall von TemperatureAttribute %n{nicht} |
(instance HotTemperature TemperatureAttribute) | Mid-level-ontology.kif 25716-25716 | HotTemperature ist ein fall von TemperatureAttribute %n{nicht} |
(instance WarmTemperature TemperatureAttribute) | Mid-level-ontology.kif 25710-25710 | WarmTemperature ist ein fall von TemperatureAttribute %n{nicht} |
(termFormat EnglishLanguage TemperatureAttribute "temperature attribute") | Mid-level-ontology.kif 25685-25685 |
antecedent |
(=> (and (attribute ?X ?Y) (instance ?Y TemperatureAttribute) (instance ?X Object)) (exists (?TEMP) (and (measure ?X ?TEMP) (instance ?TEMP TemperatureMeasure) (attribute ?TEMP ?Y)))) |
Mid-level-ontology.kif 25687-25696 |
|