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 14371-14372
(externalImage Laughing "http://upload.wikimedia.org/wikipedia/commons/2/ 2e/ Asian_girl_with_dimples.jpg") pictureList.kif 2697-2697
(externalImage Laughing "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ Laughter_2_by_David_Shankbone.jpg") pictureList.kif 2838-2838
(subclass Laughing EmotionalBehavioralProcess) emotion.kif 1624-1624
(subclass Laughing FacialExpression) Mid-level-ontology.kif 14370-14370
(subclass Laughing Vocalizing) Mid-level-ontology.kif 14369-14369

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


(actionTendency Happiness Laughing) emotion.kif 176-176
(termFormat ChineseLanguage Laughing "笑") domainEnglishFormat.kif 33520-33520
(termFormat ChineseTraditionalLanguage Laughing "笑") domainEnglishFormat.kif 33519-33519
(termFormat EnglishLanguage Laughing "laughing") domainEnglishFormat.kif 33518-33518

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 14374-14379

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


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


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