Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TemperatureRisingExperiencedAsFeelingWarm
TemperatureRisingExperiencedAsFeelingWarm(temperature rising (experienced as feeling warm))

appearance as argument number 1
-------------------------


(documentation TemperatureRisingExperiencedAsFeelingWarm EnglishLanguage "TemperatureRisingExperiencedAsFeelingWarm means feeling warm. It is a PhysiologicProcess in respose to to an EmotionalState.") emotion.kif 2397-2399
(subclass TemperatureRisingExperiencedAsFeelingWarm PhysiologicalResponseToEmotionalState) emotion.kif 2402-2403 Temperature rising (experienced as feeling warm) is a subclass of physiological response to emotion process
(disjoint TemperatureRisingExperiencedAsFeelingWarm TemperatureFallingExperiencedAsFeelingCold) emotion.kif 2404-2404 Temperature rising (experienced as feeling warm) is disjoint from temperature falling (experienced as feeling cold)

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage TemperatureRisingExperiencedAsFeelingWarm "temperature rising (experienced as feeling warm)") emotion.kif 2400-2401
(instance ExperiencingWarmSensationInWholeBody TemperatureRisingExperiencedAsFeelingWarm) emotion.kif 2584-2584 Experiencing warm sensation in whole body is an instance of temperature rising (experienced as feeling warm)
(instance ExperiencingHeatInCheeksOrChest TemperatureRisingExperiencedAsFeelingWarm) emotion.kif 2589-2589 Experiencing heat in cheeks or chest is an instance of temperature rising (experienced as feeling warm)

antecedent
-------------------------


(=>
    (and
        (instance ?T TemperatureRisingExperiencedAsFeelingWarm)
        (located ?T ?L)
        (experiencer ?T ?A))
    (holdsDuring
        (WhenFn ?T)
        (believes ?A
            (attribute ?L WarmTemperature))))
emotion.kif 2406-2413 If X is an instance of temperature rising (experienced as feeling warm), X is located at Y, and Z experiences X, then Z believes warm is an attribute of Y holds during the time of existence of X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners