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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BacterialAgent
BacterialAgent(bacterial agent)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 200-200 Breathing is a biochemical agent delivery of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 201-201 Touching is a biochemical agent delivery of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 202-203
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8958-8958
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8366-8366
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8953-8953
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8954-8954
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8959-8959
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8955-8955
No TPTP formula. May not be expressible in strict first order. WMD.kif 199-199 Bacterial agent is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order. WMD.kif 198-198 Bacterial agent is a subclass of toxic organism

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 279-279 Bacillus anthracis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1849-1849 Bacillus cereus is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1585-1585 Bordetella pertussis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 386-386 Brucella bacterium is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 355-355 Burkholderia mallei is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 371-371 Burkholderia pseudomallei is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1595-1595 Chlamydia psittaci is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 317-317 Clostridium botulinum is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 340-340 Clostridium perfringens is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1506-1506 Clostridium tetani is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1896-1896 Corynebacterium diphtheriae is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1719-1719 Escherichia coli0157 h7 is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1203-1203 Francisella tularensis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1363-1363 Giardia lamblia is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1877-1877 Legionella is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1725-1725 Mycobacterium tuberculosis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1244-1244 Neisseria gonorrhoeae is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 246-246 Rickettsial agent is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1006-1006 Salmonella partyphi is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1352-1352 Salmonella typhi is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1000-1000 Salmonella typhimurium is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1369-1369 Serratia marcenscens is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1331-1331 Shigella dysenteriae is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1429-1429 Staphylococcus aureus is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1748-1748 Streptococcus a is a subclass of bacterial agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1124-1129


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