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 10676-10677
(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 and EmotionalBehavioralProcess
(subclass Laughing FacialExpression) Mid-level-ontology.kif 10675-10675 subclass Laughing and FacialExpression
(subclass Laughing Vocalizing) Mid-level-ontology.kif 10674-10674 subclass Laughing and Vocalizing

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


(actionTendency Happiness Laughing) emotion.kif 176-176 actionTendency Happiness and Laughing
(termFormat ChineseLanguage Laughing "笑") domainEnglishFormat.kif 33433-33433
(termFormat ChineseTraditionalLanguage Laughing "笑") domainEnglishFormat.kif 33432-33432
(termFormat EnglishLanguage Laughing "laughing") domainEnglishFormat.kif 33431-33431

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 10679-10684

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


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


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