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



KB Term:  Term intersection
English Word: 

  ExperiencingHeatInCheeksOrChest

Sigma KEE - ExperiencingHeatInCheeksOrChest
ExperiencingHeatInCheeksOrChest(experiencing heat in cheeks or chest)

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


(documentation ExperiencingHeatInCheeksOrChest EnglishLanguage "ExperiencingHeatInCheeksOrChest is a PhysiologicalResponseToEmotionalState when feeling warm.") emotion.kif 2586-2588
(instance ExperiencingHeatInCheeksOrChest TemperatureRisingExperiencedAsFeelingWarm) emotion.kif 2589-2589 Experiencing heat in cheeks or chest is an instance of temperature rising (experienced as feeling warm)

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


(termFormat EnglishLanguage ExperiencingHeatInCheeksOrChest "experiencing heat in cheeks or chest") emotion.kif 2590-2591

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


(=>
    (and
        (instance ?ELT ExperiencingHeatInCheeksOrChest)
        (experiencer ?ELT ?A))
    (exists (?P ?T)
        (and
            (instance ?P Perception)
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (or
                (instance ?T Torso)
                (instance ?T Face))
            (part ?T ?A))))
emotion.kif 2593-2606 If X is an instance of experiencing heat in cheeks or chest and Y experiences X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of perception (3) Z is a subprocess of X (4) Y is an agent of Z (5) W is a patient of Z (6) W is an instance of torso or W is an instance of face (7) W is a part of Y


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