TreeView Knowledge Base Browser

antecedent

(=>
    (holdsDuring ?T
        (attribute ?A Sadness))
    (modalAttribute
        (exists (?FE)
            (and
                (instance ?FE SadFacialExpression)
                (experiencer ?FE ?A)
                (during
                    (WhenFn ?FE) ?T))) Likely))

If sadness is an attribute of X holds during Y, then the statement there exists Z such that Z is an instance of sad facial expression, X experiences Z, and the time of existence of Z takes place during Y has the modal force of likely

consequent

(=> (and (instance ?C Crying) (experiencer ?C ?H)) (holdsDuring (WhenFn ?C) (attribute ?H Sadness)))	emotion.kif 1882-1888	If X is an instance of crying and Y experiences X, then sadness is an attribute of Y holds during the time of existence of X
(=> (and (instance ?W Weeping) (experiencer ?W ?A)) (modalAttribute (holdsDuring (WhenFn ?W) (attribute ?A Sadness)) Likely))	emotion.kif 2439-2447	If X is an instance of weeping and Y experiences X, then the statement sadness is an attribute of Y holds during the time of existence of X has the modal force of likely
(=> (and (instance ?SVU SadVoiceUtterance) (agent ?SVU ?A)) (exists (?S) (and (instance ?S Sadness) (experiencer ?S ?A) (causes ?S ?SVU))))	emotion.kif 2822-2830	If X is an instance of sad voice utterance and Y is an agent of X, then there exists Z such that Z is an instance of sadness, Y experiences Z, and Z causes X

(actionTendency Sadness SadFacialExpression)	emotion.kif 165-165	action tendency sadness and sad facial expression
(instance Sadness EmotionalState)	emotion.kif 1859-1859	Sadness is an instance of emotional state
(documentation Sadness EnglishLanguage "A negative emotion felt when an event is appraised as unpleasant, obstructive to one's goals and concerns, and one feels unable to cope with it or modify it. [Source: OCEAS]")	emotion.kif 1860-1863	Sadness is an instance of emotional state

(termFormat EnglishLanguage Sadness "sadness")	emotion.kif 1856-1856
(termFormat GermanLanguage Sadness "trauer")	emotion.kif 1857-1857
(termFormat SpanishLanguage Sadness "tristeza")	emotion.kif 1858-1858
(utterance EnglishLanguage Sadness "sad")	emotion.kif 1864-1864	utterance english language, sadness and "sad"
(termFormat FrenchLanguage Sadness "tristesse")	emotion.kif 1865-1865	utterance english language, sadness and "sad"
(relatedInternalConcept SadFacialExpression Sadness)	emotion.kif 2199-2199	Sad facial expression is internally related to sadness
(relatedInternalConcept SadVoiceUtterance Sadness)	emotion.kif 2818-2818	Sad voice utterance is internally related to sadness