| SexualPleasure | |
| appearance as argument number 1 |
|
|
| (subAttribute SexualPleasure Pleasure) | emotion.kif 1096-1096 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SexualPleasure "sexual pleasure") | emotion.kif 1098-1098 | |
| (utterance EnglishLanguage SexualPleasure "sexual pleasure") | emotion.kif 1097-1097 |
| 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 1100-1110 |
| 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 1100-1110 |
|
|
|