Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CausingUnhappiness

Sigma KEE - CausingUnhappiness
CausingUnhappiness(causing unhappiness)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23786-23787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23785-23785 Causing unhappiness is a subclass of process

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23781-23781 Causing pain is a subclass of causing unhappiness
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13530-13530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13529-13529
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13528-13528

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23789-23800


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