Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CausingPain(causing pain) |  | pinch, vellicate |
| appearance as argument number 1 |
|
|
| (subclass CausingPain CausingUnhappiness) | emotion.kif 1301-1301 | Causing pain is a subclass of causing unhappiness |
| (documentation CausingPain EnglishLanguage "Any Process whose result is that the patient of the process is in Pain.") | emotion.kif 1302-1303 | Causing pain is a subclass of causing unhappiness |
| appearance as argument number 2 |
|
|
|