Crying |
appearance as argument number 1 |
(subclass Crying Excreting) | emotion.kif 1123-1123 |
appearance as argument number 2 |
(termFormat EnglishLanguage Crying "crying") | emotion.kif 1127-1127 |
antecedent |
(=> (and (instance ?C Crying) (experiencer ?C ?H)) (exists (?T ?E) (and (instance ?T TearSubstance) (origin ?C ?E) (objectTransferred ?C ?T) (instance ?E Eye) (part ?E ?H)))) |
emotion.kif 1129-1139 | |
(=> (and (instance ?C Crying) (experiencer ?C ?H)) (holdsDuring (WhenFn ?C) (attribute ?H Sadness))) |
emotion.kif 1141-1147 |