No TPTP formula. May not be expressible in strict first order. |
WMD.kif 614-614 |
胃肠炎 是 氯化苦 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1364-1364 |
胃肠炎 是 贾第鞭毛虫 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1001-1001 |
胃肠炎 是 鼠伤寒沙门氏菌 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25574-25574 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25573-25573 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25572-25572 |
|