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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Suicide

 Sigma KEE - Suicide
Suicide
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18303-18304
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 18302-18302 Suicide e' uma sub-classe de Matar

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


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

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


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


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