No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1140-1140 |
炭疽病 是 对于 消化 的 disease 治愈 环丙沙星 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 359-359 |
Burkholderia mallei 是 对于 消化 的 disease 治愈 环丙沙星 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14856-14856 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14855-14855 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14854-14854 |
|