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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VibrioCholera
VibrioCholera(vibrio cholera)
Vibrio_comma, comma_bacillus

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1493-1493 Ingesting is a biochemical agent delivery of vibrio cholera
No TPTP formula. May not be expressible in strict first order. WMD.kif 1494-1494 Cholera is a biochemical agent syndrome of vibrio cholera
No TPTP formula. May not be expressible in strict first order. WMD.kif 1495-1495
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4846-4846
No TPTP formula. May not be expressible in strict first order. WMD.kif 1492-1492 Vibrio cholera is a subclass of bacterial agent

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61610-61610
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61609-61609
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61608-61608


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