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



KB Term:  Term intersection
English Word: 

  TemperatureFallingExperiencedAsFeelingCold

Sigma KEE - TemperatureFallingExperiencedAsFeelingCold
TemperatureFallingExperiencedAsFeelingCold(temperature falling (experienced as feeling cold))

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


(documentation TemperatureFallingExperiencedAsFeelingCold EnglishLanguage "TemperatureFallingExperiencedAsFeelingCold means feeling cold. It is a PhysiologicProcess in respose to to an EmotionalState.") emotion.kif 2380-2382
(subclass TemperatureFallingExperiencedAsFeelingCold PhysiologicalResponseToEmotionalState) emotion.kif 2383-2384 Temperature falling (experienced as feeling cold) is a subclass of physiological response to emotion process

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


(termFormat EnglishLanguage TemperatureFallingExperiencedAsFeelingCold "temperature falling (experienced as feeling cold)") emotion.kif 2385-2386
(disjoint TemperatureRisingExperiencedAsFeelingWarm TemperatureFallingExperiencedAsFeelingCold) emotion.kif 2404-2404 Temperature rising (experienced as feeling warm) is disjoint from temperature falling (experienced as feeling cold)

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


(=>
    (and
        (instance ?T TemperatureFallingExperiencedAsFeelingCold)
        (located ?T ?L)
        (experiencer ?T ?A))
    (holdsDuring
        (WhenFn ?T)
        (believes ?A
            (attribute ?L ColdTemperature))))
emotion.kif 2388-2395 If X is an instance of temperature falling (experienced as feeling cold), X is located at Y, and Z experiences X, then Z believes cold is an attribute of Y holds during the time of existence of X


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

Show without tree


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