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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Laughing

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 12501-12502
(externalImage Laughing "http://upload.wikimedia.org/wikipedia/commons/2/ 2e/ Asian_girl_with_dimples.jpg") pictureList.kif 2699-2699
(externalImage Laughing "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ Laughter_2_by_David_Shankbone.jpg") pictureList.kif 2840-2840
(subclass Laughing EmotionalBehavioralProcess) emotion.kif 1624-1624 Laughing is a subclass of emotional behavioral process
(subclass Laughing FacialExpression) Mid-level-ontology.kif 12500-12500 Laughing is a subclass of facial expression
(subclass Laughing Vocalizing) Mid-level-ontology.kif 12499-12499 Laughing is a subclass of vocalizing

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


(actionTendency Happiness Laughing) emotion.kif 176-176 actionTendency happiness and laughing
(termFormat ChineseLanguage Laughing "笑") domainEnglishFormat.kif 33492-33492
(termFormat ChineseTraditionalLanguage Laughing "笑") domainEnglishFormat.kif 33491-33491
(termFormat EnglishLanguage Laughing "laughing") domainEnglishFormat.kif 33490-33490

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 12504-12509

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


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


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