Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PerspiringWholeBody(perspiring (whole body)) |
| appearance as argument number 1 |
|
| (subclass PerspiringWholeBody Perspiring) | emotion.kif 2358-2358 | Perspiring (whole body) is a subclass of sweating |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PerspiringWholeBody "perspiring (whole body)") | emotion.kif 2357-2357 |
| antecedent |
|
|
| (=> (and (instance ?P PerspiringWholeBody) (experiencer ?P ?A)) (not (exists (?B) (and (instance ?B BodyPart) (part ?B ?A) (not (destination ?P ?B)))))) |
emotion.kif 2360-2370 | If X is an instance of perspiring (whole body) and Y experiences X, then there doesn't exist Z such that Z is an instance of body part, Z is a part of Y, and X doesn't end up at Z |
|