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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Smiling

VerbNet: nonverbal_expression-40.2|beam, nonverbal_expression-40.2|grin, nonverbal_expression-40.2|smile,

appearance as argument number 1

(documentation Smiling EnglishLanguage "Spreading the lips in such a way as to convey happiness.") Mid-level-ontology.kif 10653-10654
(externalImage Smiling " pictures/ people/ faces/ faces_2/ smiling.png") pictureList.kif 736-736
(subclass Smiling FacialExpression) Mid-level-ontology.kif 10652-10652 subclass Smiling and FacialExpression

appearance as argument number 2

(actionTendency Happiness Smiling) emotion.kif 177-177 actionTendency Happiness and Smiling
(relatedInternalConcept HappyFacialExpression Smiling) emotion.kif 1205-1205 relatedInternalConcept HappyFacialExpression and Smiling
(termFormat ChineseLanguage Smiling "微笑") domainEnglishFormat.kif 53422-53422
(termFormat ChineseTraditionalLanguage Smiling "微笑") domainEnglishFormat.kif 53421-53421
(termFormat EnglishLanguage Smiling "smiling") domainEnglishFormat.kif 53420-53420


        (instance ?S Smiling)
        (experiencer ?S ?A))
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))
emotion.kif 1582-1590
        (instance ?SMILE Smiling)
        (agent ?SMILE ?AGENT))
        (WhenFn ?SMILE)
        (attribute ?AGENT Happiness)))
Mid-level-ontology.kif 10656-10660


    (instance ?LAUGH Laughing)
    (exists (?SMILE)
            (instance ?SMILE Smiling)
            (subProcess ?SMILE ?LAUGH))))
Mid-level-ontology.kif 10677-10682

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