TreeView Knowledge Base Browser - SexualPleasure

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SexualPleasure

SexualPleasure(sexual pleasure)

algolagnia, algophilia, masochism, pleasure, sadism, sadomasochism, sexual_pleasure

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.

emotion.kif 1096-1096

Sexual pleasure is a subattribute of pleasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1098-1098
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1097-1097	utterance english language, sexual pleasure and "sexual pleasure"

antecedent

No TPTP formula. May not be expressible in strict first order.

emotion.kif 1100-1110

If sexual pleasure is an attribute of an entity holds during a time interval,
then there exists a physical such that the physical is an instance of mating and the time interval takes place during the time of existence of the physical and sexual pleasure is an attribute of the entity holds during the time interval is a causes proposition of the entity is an agent of the physical

consequent

No TPTP formula. May not be expressible in strict first order.

emotion.kif 1100-1110

If sexual pleasure is an attribute of an entity holds during a time interval,
then there exists a physical such that the physical is an instance of mating and the time interval takes place during the time of existence of the physical and sexual pleasure is an attribute of the entity holds during the time interval is a causes proposition of the entity is an agent of the physical

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 is open source software produced by Articulate Software and its partners