ColdTemperature(cold) | cold, ice-cold, stone-cold |
appearance as argument number 1 |
(documentation ColdTemperature EnglishLanguage "ColdTemperature is a type of TemperatureAttribute that has a low or inadequate temperature") | Mid-level-ontology.kif 25687-25688 | |
(instance ColdTemperature TemperatureAttribute) | Mid-level-ontology.kif 25686-25686 | Cold is an instance of temperature attribute |
(successorAttribute ColdTemperature CoolTemperature) | Mid-level-ontology.kif 25696-25696 | Cold is an immediate successor attribute of cool |
(successorAttributeClosure ColdTemperature HotTemperature) | Mid-level-ontology.kif 25690-25690 | Cold is a successor attribute of hot |
appearance as argument number 2 |
(termFormat EnglishLanguage ColdTemperature "cold") | Mid-level-ontology.kif 25689-25689 |
antecedent |
consequent |
(=> (and (instance ?T TemperatureFallingExperiencedAsFeelingCold) (located ?T ?L) (experiencer ?T ?A)) (holdsDuring (WhenFn ?T) (believes ?A (attribute ?L ColdTemperature)))) |
emotion.kif 1551-1558 |
|