No TPTP formula. May not be expressible in strict first order. | WMD.kif 198-198 | Bacterial agent is a subclass of toxic organism |
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 246-246 | Rickettsial agent is a subclass of bacterial agent |
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 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 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 386-386 | Brucella bacterium is a subclass of bacterial agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 399-399 | Yersinia pestis 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 1006-1006 | Salmonella partyphi 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 1244-1244 | Neisseria gonorrhoeae 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 1352-1352 | Salmonella typhi 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 1369-1369 | Serratia marcenscens 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 1492-1492 | Vibrio cholera 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 1585-1585 | Bordetella pertussis is a subclass of bacterial agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1591-1591 | Yersinia pseudotuberculosis 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 1719-1719 | Escherichia coli0157 h7 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 1748-1748 | Streptococcus a 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 1877-1877 | Legionella 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 |