Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ExperiencingALumpInTheThroat(experiencing a lump in the throat) |
| appearance as argument number 1 |
|
| (subclass ExperiencingALumpInTheThroat PhysiologicalResponseToEmotionalState) | emotion.kif 2562-2563 | Experiencing a lump in the throat is a subclass of physiological response to emotion process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ExperiencingALumpInTheThroat "experiencing a lump in the throat") | emotion.kif 2560-2561 |
| antecedent |
|
|
| (=> (and (instance ?ELT ExperiencingALumpInTheThroat) (experiencer ?ELT ?A)) (exists (?P ?T) (and (instance ?P Perception) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (instance ?T Throat) (part ?T ?A)))) |
emotion.kif 2565-2576 | If X is an instance of experiencing a lump in the throat and Y experiences X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of perception (3) Z is a subprocess of X (4) Y is an agent of Z (5) W is a patient of Z (6) W is an instance of throat (7) W is a part of Y |
|