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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HappyFacialExpression

appearance as argument number 1

(documentation HappyFacialExpression EnglishLanguage "The canonical facial expression associated with the experience of happiness.") emotion.kif 1203-1204
(relatedInternalConcept HappyFacialExpression Happiness) emotion.kif 1202-1202
(relatedInternalConcept HappyFacialExpression Smiling) emotion.kif 1205-1205
(subclass HappyFacialExpression EmotionalFacialExpression) emotion.kif 1201-1201

appearance as argument number 2

(actionTendency Happiness HappyFacialExpression) emotion.kif 184-184
(termFormat EnglishLanguage HappyFacialExpression "happy facial expression") emotion.kif 1206-1206


    (holdsDuring ?T
        (attribute ?A Happiness))
        (exists (?HF)
                (instance ?HF HappyFacialExpression)
                (experiencer ?HF ?A)
                    (WhenFn ?HF) ?T))) Likely))
emotion.kif 1208-1217

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 is open source software produced by Articulate Software and its partners