| ShigellaDysenteriae
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1333-1333 | biochemicalAgentDelivery ShigellaDysenteriae and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1334-1336 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8704-8704 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1332-1332 | secretesToxin ShigellaDysenteriae and ShigaToxin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1331-1331 | ShigellaDysenteriae e' uma sub-classe de BacterialAgent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52559-52559 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52558-52558 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52557-52557 |
|
|
|