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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Suicide
Suicide(suicide)
more pictures...		self-annihilation, self-destruction, suicide

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18276-18277
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6904-6904
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8003-8003
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8004-8004
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8005-8005
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8006-8006
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8007-8007
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8008-8008
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8009-8009
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8010-8010
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18275-18275 Suicide is a subclass of killing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56005-56005
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56004-56004
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56003-56003

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


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


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



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