| No TPTP formula. May not be expressible in strict first order. | WMD.kif 198-198 | BacterialAgent e' uma sub-classe de ToxicOrganism |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 199-199 | BacterialAgent e' uma sub-classe de Bacteria |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 246-246 | RickettsialAgent e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 279-279 | BacillusAnthracis e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 317-317 | ClostridiumBotulinum e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 340-340 | ClostridiumPerfringens e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 355-355 | BurkholderiaMallei e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 371-371 | BurkholderiaPseudomallei e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 386-386 | BrucellaBacterium e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 399-399 | YersiniaPestis e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1000-1000 | SalmonellaTyphimurium e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1006-1006 | SalmonellaPartyphi e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1203-1203 | FrancisellaTularensis e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1244-1244 | NeisseriaGonorrhoeae e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1331-1331 | ShigellaDysenteriae e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1352-1352 | SalmonellaTyphi e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1363-1363 | GiardiaLamblia e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1369-1369 | SerratiaMarcenscens e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1429-1429 | StaphylococcusAureus e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1492-1492 | VibrioCholera e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1506-1506 | ClostridiumTetani e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1585-1585 | BordetellaPertussis e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1591-1591 | YersiniaPseudotuberculosis e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1595-1595 | ChlamydiaPsittaci e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1719-1719 | EscherichiaColi0157H7 e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1725-1725 | MycobacteriumTuberculosis e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1748-1748 | StreptococcusA e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1849-1849 | BacillusCereus e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1877-1877 | Legionella e' uma sub-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1896-1896 | CorynebacteriumDiphtheriae e' uma sub-classe de BacterialAgent |
|
|