Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SensoryPleasure(sensory pleasure) |
| appearance as argument number 1 |
|
| (documentation SensoryPleasure EnglishLanguage "Pleasure in smell, touch, sight, sound and taste. [Source: OCEAS]") | emotion.kif 1208-1209 | |
| (subAttribute SensoryPleasure Pleasure) | emotion.kif 1210-1210 | Sensory pleasure is a subattribute of pleasure |
| appearance as argument number 2 |
|
|
| (utterance EnglishLanguage SensoryPleasure "sensory pleasure") | emotion.kif 1206-1206 | utterance english language, sensory pleasure and "sensory pleasure" |
| (termFormat EnglishLanguage SensoryPleasure "sensory pleasure") | emotion.kif 1207-1207 | utterance english language, sensory pleasure and "sensory pleasure" |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?A SensoryPleasure)) (exists (?P) (and (instance ?P Perception) (during ?T (WhenFn ?P)) (causesProposition (experiencer ?P ?A) (holdsDuring ?T (attribute ?A SensoryPleasure)))))) |
emotion.kif 1212-1222 | If sensory pleasure is an attribute of X holds during Y, then there exists Z such that Z is an instance of perception, Y takes place during the time of existence of Z, and sensory pleasure is an attribute of X holds during Y is a causes proposition of X experiences Z |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?A SensoryPleasure)) (exists (?P) (and (instance ?P Perception) (during ?T (WhenFn ?P)) (causesProposition (experiencer ?P ?A) (holdsDuring ?T (attribute ?A SensoryPleasure)))))) |
emotion.kif 1212-1222 | If sensory pleasure is an attribute of X holds during Y, then there exists Z such that Z is an instance of perception, Y takes place during the time of existence of Z, and sensory pleasure is an attribute of X holds during Y is a causes proposition of X experiences Z |
|