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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Smiling

appearance as argument number 1

(documentation Smiling EnglishLanguage "Spreading the lips in such a way as to convey happiness.") Mid-level-ontology.kif 12867-12868
(externalImage Smiling " pictures/ people/ faces/ faces_2/ smiling.png") pictureList.kif 736-736
(subclass Smiling FacialExpression) Mid-level-ontology.kif 12866-12866 微笑表情subclass

appearance as argument number 2

(actionTendency Happiness Smiling) emotion.kif 177-177 actionTendency 幸福 and 微笑
(relatedInternalConcept HappyFacialExpression Smiling) emotion.kif 1223-1223 HappyFacialExpression微笑 是 内部相关
(termFormat ChineseLanguage Smiling "微笑") domainEnglishFormat.kif 53490-53490
(termFormat ChineseTraditionalLanguage Smiling "微笑") domainEnglishFormat.kif 53489-53489
(termFormat EnglishLanguage Smiling "smiling") domainEnglishFormat.kif 53488-53488


        (instance ?S Smiling)
        (experiencer ?S ?A))
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))
emotion.kif 1614-1622
        (instance ?SMILE Smiling)
        (agent ?SMILE ?AGENT))
        (WhenFn ?SMILE)
        (attribute ?AGENT Happiness)))
Mid-level-ontology.kif 12870-12874


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

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