Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Crying Excreting) | emotion.kif 1867-1867 | Crying is a subclass of excreting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Crying "crying") | emotion.kif 1868-1868 |
| 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 1870-1880 | If X is an instance of crying and Y experiences X, then there exist Z, W such that Z is an instance of tear, X originates at W, the object transferred in X is Z, W is an instance of eye, and W is a part of Y |
| (=> (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 |
|