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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lynching

 Sigma KEE - Lynching
Lynching(lynching)
lynching

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22092-22101
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6681-6681
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7243-7243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22091-22091 Lynching is a subclass of killing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35381-35381
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35380-35380
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35379-35379


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