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 26794-26795 | |
(instance ColdTemperature TemperatureAttribute) | Mid-level-ontology.kif 26793-26793 | Cold is an instance of temperature attribute |
(successorAttribute ColdTemperature CoolTemperature) | Mid-level-ontology.kif 26803-26803 | Cold is an immediate successor attribute of cool |
(successorAttributeClosure ColdTemperature HotTemperature) | Mid-level-ontology.kif 26797-26797 | Cold is a successor attribute of hot |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage ColdTemperature "cold") | Mid-level-ontology.kif 26796-26796 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?T TemperatureFallingExperiencedAsFeelingCold) (located ?T ?L) (experiencer ?T ?A)) (holdsDuring (WhenFn ?T) (believes ?A (attribute ?L ColdTemperature)))) |
emotion.kif 1551-1558 |
|
![]() |
![]() |