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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BacillusCereus

 Sigma KEE - BacillusCereus
BacillusCereus(bacillus cereus)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1850-1850 Ingesting is a biochemical agent delivery of bacillus cereus
No TPTP formula. May not be expressible in strict first order. WMD.kif 1851-1854
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4520-4520
No TPTP formula. May not be expressible in strict first order. WMD.kif 1849-1849 Bacillus cereus is a subclass of bacterial agent

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9498-9498
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9497-9497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9496-9496


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