Laughing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Laughing Vocalizing)	Mid-level-ontology.kif 20709-20709	Laughing is a subclass of vocalizing
(subclass Laughing FacialExpression)	Mid-level-ontology.kif 20710-20710	Laughing is a subclass of facial expression
(subclass Laughing EmotionalBehavioralProcess)	Mid-level-ontology.kif 20711-20711	Laughing is a subclass of emotional behavioral process
(documentation Laughing EnglishLanguage "Expressing happiness by Vocalizing in a certain way.")	Mid-level-ontology.kif 20712-20713	Laughing is a subclass of emotional behavioral process
(externalImage Laughing "http://upload.wikimedia.org/wikipedia/commons/2/ 2e/ Asian_girl_with_dimples.jpg")	pictureList.kif 2697-2697	Laughing is a subclass of emotional behavioral process
(externalImage Laughing "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ Laughter_2_by_David_Shankbone.jpg")	pictureList.kif 2838-2838	Laughing is a subclass of emotional behavioral process

appearance as argument number 2

(termFormat EnglishLanguage Laughing "laughing")	domainEnglishFormat.kif 33511-33511
(termFormat ChineseTraditionalLanguage Laughing "笑")	domainEnglishFormat.kif 33512-33512
(termFormat ChineseLanguage Laughing "笑")	domainEnglishFormat.kif 33513-33513
(actionTendency Happiness Laughing)	emotion.kif 156-156	action tendency happiness and laughing

antecedent

(=> (instance ?LAUGH Laughing) (exists (?SMILE) (and (instance ?SMILE Smiling) (subProcess ?SMILE ?LAUGH))))	Mid-level-ontology.kif 20717-20722	If X is an instance of laughing, then there exists Y such that Y is an instance of smiling and Y is a subprocess of X
(=> (and (instance ?S Laughing) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely))	emotion.kif 2461-2469	If X is an instance of laughing and Y experiences X, then the statement happiness is an attribute of Y holds during the time of existence of X has the modal force of likely

consequent

(=>
    (attribute ?P Comedian)
    (exists (?PERF ?L)
        (and
            (instance ?PERF Performance)
            (agent ?PERF ?P)
            (instance ?L Laughing)
            (causes ?PERF ?L))))

If comedian is an attribute of X, then there exist Y, Z such that Y is an instance of performance, X is an agent of Y, Z is an instance of laughing, and Y causes Z