| Laughing
| |
| appearance as argument number 1 |
|
|
| (documentation Laughing EnglishLanguage "Expressing happiness by Vocalizing in a certain way.") | Mid-level-ontology.kif 14389-14390 | |
| (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 14388-14388 | |
| (subclass Laughing Vocalizing) | Mid-level-ontology.kif 14387-14387 |
| appearance as argument number 2 |
|
|
| (actionTendency Happiness Laughing) | emotion.kif 176-176 | |
| (termFormat ChineseLanguage Laughing "笑") | domainEnglishFormat.kif 33537-33537 | |
| (termFormat ChineseTraditionalLanguage Laughing "笑") | domainEnglishFormat.kif 33536-33536 | |
| (termFormat EnglishLanguage Laughing "laughing") | domainEnglishFormat.kif 33535-33535 |
| 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 14392-14397 |
| consequent |
|
|
| (=> (attribute ?P Comedian) (exists (?PERF ?L) (and (instance ?PERF Performance) (agent ?PERF ?P) (instance ?L Laughing) (causes ?PERF ?L)))) |
Mid-level-ontology.kif 20383-20390 |
|
|
|