TemperatureRisingExperiencedAsFeelingWarm |
appearance as argument number 1 |
(disjoint TemperatureRisingExperiencedAsFeelingWarm TemperatureFallingExperiencedAsFeelingCold) | emotion.kif 1567-1567 | TemperatureRisingExperiencedAsFeelingWarm è disgiunto da TemperatureFallingExperiencedAsFeelingCold |
(documentation TemperatureRisingExperiencedAsFeelingWarm EnglishLanguage "TemperatureRisingExperiencedAsFeelingWarm means feeling warm. It is a PhysiologicProcess in respose to to an EmotionalState.") | emotion.kif 1560-1562 | |
(subclass TemperatureRisingExperiencedAsFeelingWarm PhysiologicalResponseToEmotionalState) | emotion.kif 1565-1566 | TemperatureRisingExperiencedAsFeelingWarm è una sottoclasse di PhysiologicalResponseToEmotionalState |
appearance as argument number 2 |
(instance ExperiencingHeatInCheeksOrChest TemperatureRisingExperiencedAsFeelingWarm) | emotion.kif 1734-1734 | ExperiencingHeatInCheeksOrChest è un' istanza di TemperatureRisingExperiencedAsFeelingWarm |
(instance ExperiencingWarmSensationInWholeBody TemperatureRisingExperiencedAsFeelingWarm) | emotion.kif 1729-1729 | ExperiencingWarmSensationInWholeBody è un' istanza di TemperatureRisingExperiencedAsFeelingWarm |
(termFormat EnglishLanguage TemperatureRisingExperiencedAsFeelingWarm "temperature rising (experienced as feeling warm)") | emotion.kif 1563-1564 |
antecedent |
(=> (and (instance ?T TemperatureRisingExperiencedAsFeelingWarm) (located ?T ?L) (experiencer ?T ?A)) (holdsDuring (WhenFn ?T) (believes ?A (attribute ?L WarmTemperature)))) |
emotion.kif 1569-1576 |
|