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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Laughing
Laughing(笑)

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


(documentation Laughing EnglishLanguage "Expressing happiness by Vocalizing in a certain way.") Mid-level-ontology.kif 13040-13041
(externalImage Laughing "http://upload.wikimedia.org/wikipedia/commons/2/ 2e/ Asian_girl_with_dimples.jpg") pictureList.kif 2698-2698
(externalImage Laughing "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ Laughter_2_by_David_Shankbone.jpg") pictureList.kif 2839-2839
(subclass Laughing EmotionalBehavioralProcess) emotion.kif 1624-1624 EmotionalBehavioralProcesssubclass
(subclass Laughing FacialExpression) Mid-level-ontology.kif 13039-13039 表情subclass
(subclass Laughing Vocalizing) Mid-level-ontology.kif 13038-13038 发声subclass

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


(actionTendency Happiness Laughing) emotion.kif 176-176 actionTendency 幸福 and
(termFormat ChineseLanguage Laughing "笑") domainEnglishFormat.kif 33509-33509
(termFormat ChineseTraditionalLanguage Laughing "笑") domainEnglishFormat.kif 33508-33508
(termFormat EnglishLanguage Laughing "laughing") domainEnglishFormat.kif 33507-33507

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


(=>
    (and
        (instance ?S Laughing)
        (experiencer ?S ?A))
    (modalAttribute
        (holdsDuring
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))
emotion.kif 1626-1634
(=>
    (instance ?LAUGH Laughing)
    (exists (?SMILE)
        (and
            (instance ?SMILE Smiling)
            (subProcess ?SMILE ?LAUGH))))
Mid-level-ontology.kif 13043-13048

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


(=>
    (attribute ?P Comedian)
    (exists (?PERF ?L)
        (and
            (instance ?PERF Performance)
            (agent ?PERF ?P)
            (instance ?L Laughing)
            (causes ?PERF ?L))))
Mid-level-ontology.kif 18795-18802


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