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 8963-8963
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8368-8368
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 8959-8959
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8964-8964
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8960-8960
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 1748-1748 Bacillus cereus is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1483-1483 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 1493-1493 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 1442-1442 Clostridium tetani is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1795-1795 Corynebacterium diphtheriae is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1618-1618 Escherichia coli0157 h7 is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1155-1155 Francisella tularensis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1314-1314 Giardia lamblia is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1776-1776 Legionella is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1624-1624 Mycobacterium tuberculosis is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1196-1196 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 994-994 Salmonella partyphi is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1303-1303 Salmonella typhi is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 988-988 Salmonella typhimurium is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1320-1320 Serratia marcenscens is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1282-1282 Shigella dysenteriae is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1365-1365 Staphyylococcus aureus is a subclass of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1647-1647 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 1078-1082


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