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

KB Term:  Term intersection
English Word: 

Sigma KEE - Blushing
Blushing(blushing)blush, crimson, flush, redden

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


(subclass Blushing PhysiologicalResponseToEmotionalState) emotion.kif 2530-2530 Blushing is a subclass of physiological response to emotion process
(subclass Blushing AutonomicProcess) emotion.kif 2531-2531 Blushing is a subclass of autonomic process
(documentation Blushing EnglishLanguage "The process of turning red in response to a stimulus which has a deep emotional effect.") emotion.kif 2532-2533 Blushing is a subclass of autonomic process

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


(termFormat ChineseTraditionalLanguage Blushing "臉紅") domainEnglishFormat.kif 11424-11424
(termFormat ChineseLanguage Blushing "脸红") domainEnglishFormat.kif 11425-11425
(termFormat EnglishLanguage Blushing "blushing") emotion.kif 2529-2529

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


(=>
    (and
        (instance ?B Blushing)
        (experiencer ?B ?A))
    (exists (?T1 ?T2 ?S1 ?S2)
        (and
            (instance ?S1 EmotionalState)
            (instance ?S2 EmotionalState)
            (not
                (equal ?S1 ?S2))
            (holdsDuring ?T1
                (attribute ?A ?S1))
            (holdsDuring ?T2
                (attribute ?A ?S2))
            (starts
                (WhenFn ?B) ?T2)
            (finishes
                (WhenFn ?B) ?T1))))		 emotion.kif 2535-2550 If X is an instance of blushing and Y experiences X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that V is an instance of emotional state (3) U is an instance of emotional state (4) equal V (5) U (6) V is an attribute of Y holds during Z (7) U is an attribute of Y holds during W (8) the time of existence of X starts W (9) the time of existence of X finishes Z


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