Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SexualPleasure(sexual pleasure) |  | algolagnia, algophilia, masochism, pleasure, sadism, sadomasochism, sexual_pleasure |
| appearance as argument number 1 |
|
|
| (subAttribute SexualPleasure Pleasure) | emotion.kif 1840-1840 | Sexual pleasure is a subattribute of pleasure |
| appearance as argument number 2 |
|
|
| (utterance EnglishLanguage SexualPleasure "sexual pleasure") | emotion.kif 1841-1841 | utterance english language, sexual pleasure and "sexual pleasure" |
| (termFormat EnglishLanguage SexualPleasure "sexual pleasure") | emotion.kif 1842-1842 | utterance english language, sexual pleasure and "sexual pleasure" |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?A SexualPleasure)) (exists (?M) (and (instance ?M Mating) (during ?T (WhenFn ?M)) (causesProposition (agent ?M ?A) (holdsDuring ?T (attribute ?A SexualPleasure)))))) |
emotion.kif 1844-1854 | If sexual pleasure is an attribute of X holds during Y, then there exists Z such that Z is an instance of mating, Y takes place during the time of existence of Z, and sexual pleasure is an attribute of X holds during Y is a causes proposition of X is an agent of Z |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?A SexualPleasure)) (exists (?M) (and (instance ?M Mating) (during ?T (WhenFn ?M)) (causesProposition (agent ?M ?A) (holdsDuring ?T (attribute ?A SexualPleasure)))))) |
emotion.kif 1844-1854 | If sexual pleasure is an attribute of X holds during Y, then there exists Z such that Z is an instance of mating, Y takes place during the time of existence of Z, and sexual pleasure is an attribute of X holds during Y is a causes proposition of X is an agent of Z |
|