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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Laughing
Laughing(laughing)
barrack, blackguard, cachinnation, express_joy, express_mirth, flout, gibe, guy, ha-ha, haw-haw, hee-haw, horselaugh, jeer, jest_at, laugh, laugh_at, laughter, make_fun, poke_fun, rib, ridicule, roast, scoff, tease

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


(documentation Laughing EnglishLanguage "Expressing happiness by Vocalizing in a certain way.") Mid-level-ontology.kif 13936-13937
(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 Laughing is a subclass of emotional behavioral process
(subclass Laughing FacialExpression) Mid-level-ontology.kif 13935-13935 Laughing is a subclass of facial expression
(subclass Laughing Vocalizing) Mid-level-ontology.kif 13934-13934 Laughing is a subclass of vocalizing

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


(actionTendency Happiness Laughing) emotion.kif 176-176 action tendency happiness and laughing
(termFormat ChineseLanguage Laughing "笑") domainEnglishFormat.kif 33537-33537 action tendency happiness and laughing
(termFormat ChineseTraditionalLanguage Laughing "笑") domainEnglishFormat.kif 33536-33536 action tendency happiness and laughing
(termFormat EnglishLanguage Laughing "laughing") domainEnglishFormat.kif 33535-33535 action tendency happiness and laughing

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 13939-13944

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


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


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