|
|
   BacterialAgent
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 200-200 | biochemicalAgentDelivery BacterialAgent and Respirar |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 201-201 | biochemicalAgentDelivery BacterialAgent and Tocar |
| 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 | BacterialAgent e' uma sub-classe de Bacteria |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 198-198 | BacterialAgent e' uma sub-classe de ToxicOrganism |
| appearance as argument number 2 |
|
|
| 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 1849-1849 | BacillusCereus 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 386-386 | BrucellaBacterium 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 1595-1595 | ChlamydiaPsittaci 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 1506-1506 | ClostridiumTetani 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 |
| 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 1203-1203 | FrancisellaTularensis 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 1877-1877 | Legionella 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 1244-1244 | NeisseriaGonorrhoeae e' uma sub-classe de BacterialAgent |
| 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 1006-1006 | SalmonellaPartyphi 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 1000-1000 | SalmonellaTyphimurium 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 1331-1331 | ShigellaDysenteriae 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 1748-1748 | StreptococcusA e' uma sub-classe de BacterialAgent |
| 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 |
|
|
|
|
