|
|
   ShigellaDysenteriae
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1333-1333 | 消化 是 志贺氏痢疾杆菌 的 biochemical 病毒传递 |
| 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 | 志贺毒素 是 志贺氏痢疾杆菌 的 secretes 毒素 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1331-1331 | 志贺氏痢疾杆菌 是 细菌剂 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52557-52557 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52556-52556 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52555-52555 |
|
|
|
