|
|
   DraggingWithCursor
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1333-1333 | Ingesting 是 志賀氏痢疾桿菌 的 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 | 子類 志賀氏痢疾桿菌 and 細菌劑 |
| 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 |
|
|
|
