| TemperatureAttribute(temperature attribute) | | clammy, dank, temperature_attribute |
| appearance as argument number 1 |
|
|
| (documentation TemperatureAttribute EnglishLanguage "TemperatureAttribute is an attribute that describes the temperature of a certain object") | Mid-level-ontology.kif 23603-23604 | |
| (subclass TemperatureAttribute SubjectiveAssessmentAttribute) | Mid-level-ontology.kif 23602-23602 | Temperature attribute is a subclass of subjective assessment attribute |
| appearance as argument number 2 |
|
|
| (instance ColdTemperature TemperatureAttribute) | Mid-level-ontology.kif 23618-23618 | Cold is an instance of temperature attribute |
| (instance CoolTemperature TemperatureAttribute) | Mid-level-ontology.kif 23624-23624 | Cool is an instance of temperature attribute |
| (instance HotTemperature TemperatureAttribute) | Mid-level-ontology.kif 23636-23636 | Hot is an instance of temperature attribute |
| (instance WarmTemperature TemperatureAttribute) | Mid-level-ontology.kif 23630-23630 | Warm is an instance of temperature attribute |
| (termFormat EnglishLanguage TemperatureAttribute "temperature attribute") | Mid-level-ontology.kif 23605-23605 | "temperature attribute" is the printable form of temperature attribute in english language |
| 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 23607-23616 |
|
|
|
|