No TPTP formula. May not be expressible in strict first order. |
WMD.kif 273-273 |
虱传斑疹伤寒 是 对于 消化 的 disease 治愈 口服抗生素 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 261-261 |
落基山斑疹热 是 对于 消化 的 disease 治愈 口服抗生素 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1732-1732 |
结核 是 对于 消化 的 disease 治愈 口服抗生素 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1302-1302 |
环丙沙星 是 口服抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1296-1296 |
多西环素 是 口服抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1308-1308 |
对头抱菌素IV 是 口服抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1292-1292 |
青霉素 是 口服抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42390-42390 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42389-42389 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42388-42388 |
|