| 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 25050-25051 | |
| (subclass TemperatureAttribute SubjectiveAssessmentAttribute) | Mid-level-ontology.kif 25049-25049 | TemperatureAttribute 是 主观评价属性 的 subclass |
| appearance as argument number 2 |
|
|
| (instance ColdTemperature TemperatureAttribute) | Mid-level-ontology.kif 25065-25065 | ColdTemperature 是 TemperatureAttribute 的 instance |
| (instance CoolTemperature TemperatureAttribute) | Mid-level-ontology.kif 25071-25071 | CoolTemperature 是 TemperatureAttribute 的 instance |
| (instance HotTemperature TemperatureAttribute) | Mid-level-ontology.kif 25083-25083 | HotTemperature 是 TemperatureAttribute 的 instance |
| (instance WarmTemperature TemperatureAttribute) | Mid-level-ontology.kif 25077-25077 | WarmTemperature 是 TemperatureAttribute 的 instance |
| (termFormat EnglishLanguage TemperatureAttribute "temperature attribute") | Mid-level-ontology.kif 25052-25052 |
| 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 25054-25063 |
|
|
|