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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Laughing

Sigma KEE - Laughing
Laughing

VerbNet: nonverbal_expression-40.2|jeer, judgment-33|ridicule, nonverbal_expression-40.2|laugh, nonverbal_expression-40.2|laugh, nonverbal_expression-40.2|jeer, nonverbal_expression-40.2|jeer, judgment-33|ridicule, nonverbal_expression-40.2|jeer, judgment-33|ridicule, nonverbal_expression-40.2|laugh, judgment-33|ridicule, judgment-33|ridicule, judgment-33|ridicule, judgment-33|ridicule, judgment-33|ridicule, judgment-33|ridicule, nonverbal_expression-40.2|jeer,


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


(documentation Laughing EnglishLanguage "Expressing happiness by Vocalizing in a certain way.") Mid-level-ontology.kif 10674-10675
(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 1592-1592
(subclass Laughing FacialExpression) Mid-level-ontology.kif 10673-10673
(subclass Laughing Vocalizing) Mid-level-ontology.kif 10672-10672

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


(actionTendency Happiness Laughing) emotion.kif 176-176
(termFormat ChineseLanguage Laughing "笑") domainEnglishFormat.kif 33424-33424
(termFormat ChineseTraditionalLanguage Laughing "笑") domainEnglishFormat.kif 33423-33423
(termFormat EnglishLanguage Laughing "laughing") domainEnglishFormat.kif 33422-33422

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


(=>
    (and
        (instance ?S Laughing)
        (experiencer ?S ?A))
    (modalAttribute
        (holdsDuring
            (WhenFn ?S)
            (attribute ?A Happiness)) Likely))
emotion.kif 1594-1602
(=>
    (instance ?LAUGH Laughing)
    (exists (?SMILE)
        (and
            (instance ?SMILE Smiling)
            (subProcess ?SMILE ?LAUGH))))
Mid-level-ontology.kif 10677-10682

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


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


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