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 27583-27584 | |
(subclass TemperatureAttribute SubjectiveAssessmentAttribute) | Mid-level-ontology.kif 27582-27582 | TemperatureAttribute は 主観評価属性 の subclass では |
appearance as argument number 2 |
![]() |
(instance ColdTemperature TemperatureAttribute) | Mid-level-ontology.kif 27598-27598 | ColdTemperature は TemperatureAttribute の instance では |
(instance CoolTemperature TemperatureAttribute) | Mid-level-ontology.kif 27604-27604 | CoolTemperature は TemperatureAttribute の instance では |
(instance HotTemperature TemperatureAttribute) | Mid-level-ontology.kif 27616-27616 | HotTemperature は TemperatureAttribute の instance では |
(instance WarmTemperature TemperatureAttribute) | Mid-level-ontology.kif 27610-27610 | WarmTemperature は TemperatureAttribute の instance では |
(termFormat EnglishLanguage TemperatureAttribute "temperature attribute") | Mid-level-ontology.kif 27585-27585 | WarmTemperature は TemperatureAttribute の instance では |
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 27587-27596 |
![]() |
![]() |