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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Smiling

Sigma KEE - Smiling
Smiling(smiling)
beam, grin, grinning, simper, smile, smiling

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


(documentation Smiling EnglishLanguage "Spreading the lips in such a way as to convey happiness.") Mid-level-ontology.kif 13019-13020
(externalImage Smiling "http://articulatesoftware.com/SUMOpictures/people/ faces/ faces_2/ smiling.png") pictureList.kif 736-736
(subclass Smiling FacialExpression) Mid-level-ontology.kif 13018-13018 Smiling is a subclass of facial expression

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


(actionTendency Happiness Smiling) emotion.kif 177-177 action tendency happiness and smiling
(relatedInternalConcept HappyFacialExpression Smiling) emotion.kif 1223-1223 Happy facial expression is internally related to smiling
(termFormat ChineseLanguage Smiling "微笑") domainEnglishFormat.kif 53504-53504
(termFormat ChineseTraditionalLanguage Smiling "微笑") domainEnglishFormat.kif 53503-53503
(termFormat EnglishLanguage Smiling "smiling") domainEnglishFormat.kif 53502-53502

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


(=>
    (and
        (instance ?S Smiling)
        (experiencer ?S ?A))
    (modalAttribute
        (holdsDuring
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))
emotion.kif 1614-1622
(=>
    (and
        (instance ?SMILE Smiling)
        (agent ?SMILE ?AGENT))
    (holdsDuring
        (WhenFn ?SMILE)
        (attribute ?AGENT Happiness)))
Mid-level-ontology.kif 13022-13026

consequent
-------------------------


(=>
    (instance ?LAUGH Laughing)
    (exists (?SMILE)
        (and
            (instance ?SMILE Smiling)
            (subProcess ?SMILE ?LAUGH))))
Mid-level-ontology.kif 13043-13048


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