|
|
   BacterialAgent
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 200-200 | biochemicalAgentDelivery BacterialAgent and respirer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 201-201 | biochemicalAgentDelivery BacterialAgent and toucher |
| 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 est une sous-classe de bact�rie |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 198-198 | BacterialAgent est une sous-classe de ToxicOrganism |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 279-279 | BacillusAnthracis est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1849-1849 | BacillusCereus est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1585-1585 | BordetellaPertussis est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 386-386 | BrucellaBacterium est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 355-355 | BurkholderiaMallei est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 371-371 | BurkholderiaPseudomallei est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1595-1595 | ChlamydiaPsittaci est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 317-317 | ClostridiumBotulinum est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 340-340 | ClostridiumPerfringens est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1506-1506 | ClostridiumTetani est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1896-1896 | CorynebacteriumDiphtheriae est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1719-1719 | EscherichiaColi0157H7 est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1203-1203 | FrancisellaTularensis est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1363-1363 | GiardiaLamblia est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1877-1877 | Legionella est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1725-1725 | MycobacteriumTuberculosis est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1244-1244 | NeisseriaGonorrhoeae est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 246-246 | RickettsialAgent est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1006-1006 | SalmonellaPartyphi est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1352-1352 | SalmonellaTyphi est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1000-1000 | SalmonellaTyphimurium est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1369-1369 | SerratiaMarcenscens est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1331-1331 | ShigellaDysenteriae est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1429-1429 | StaphylococcusAureus est une sous-classe de BacterialAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1748-1748 | StreptococcusA est une sous-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 |
|
|
|
|
