No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1579-1579 |
百日咳 是 对于 消化 的 disease 治愈 抗生素 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1359-1359 |
伤寒 是 对于 消化 的 disease 治愈 抗生素 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1355-1355 |
CarbapenemAntibiotic 是 抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1964-1964 |
Cephalosporin 是 抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3583-3583 |
Clarithromycin 是 抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3800-3800 |
多西环素 是 抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1342-1342 |
InjectedAntibiotic 是 抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1284-1284 |
口服抗生素 是 抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1311-1311 |
外用抗生素 是 抗生素 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7842-7842 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7841-7841 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7840-7840 |
|