TreeView Knowledge Base Browser - Schadenfreude

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Schadenfreude

Schadenfreude(schadenfreude)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 760-762
No TPTP formula. May not be expressible in strict first order.	emotion.kif 764-764	Schadenfreude is a subattribute of pleasure

appearance as argument number 2

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

emotion.kif 759-759

antecedent

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

emotion.kif 766-775

If schadenfreude is an attribute of an object,
then there exist the object2 and a formula such that schadenfreude is an attribute of the object is a causes proposition of the formula and the object is not equal to the object2 and the object2 doesn't desire the formula

consequent

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

emotion.kif 766-775

If schadenfreude is an attribute of an object,
then there exist the object2 and a formula such that schadenfreude is an attribute of the object is a causes proposition of the formula and the object is not equal to the object2 and the object2 doesn't desire the formula

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