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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Smiling
Smiling

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


(documentation Smiling EnglishLanguage "Spreading the lips in such a way as to convey happiness.") Mid-level-ontology.kif 14350-14351
(externalImage Smiling "http://articulatesoftware.com/SUMOpictures/people/ faces/ faces_2/ smiling.png") pictureList.kif 736-736
(subclass Smiling FacialExpression) Mid-level-ontology.kif 14349-14349 SmilingFacialExpressionsubclass では

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


(actionTendency Happiness Smiling) emotion.kif 177-177 actionTendency Happiness and Smiling
(relatedInternalConcept HappyFacialExpression Smiling) emotion.kif 1223-1223 HappyFacialExpressionSmilinginternally 関連して
(termFormat ChineseLanguage Smiling "微笑") domainEnglishFormat.kif 53508-53508 HappyFacialExpressionSmilinginternally 関連して
(termFormat ChineseTraditionalLanguage Smiling "微笑") domainEnglishFormat.kif 53507-53507 HappyFacialExpressionSmilinginternally 関連して
(termFormat EnglishLanguage Smiling "smiling") domainEnglishFormat.kif 53506-53506 HappyFacialExpressionSmilinginternally 関連して

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 14353-14357

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


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


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