Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  SexualPleasure

 Sigma KEE - SexualPleasure
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners