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 |
|