No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1579-1579 |
百日咳 是 對於 Ingesting 的 disease 治癒 抗生素 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1359-1359 |
傷寒 是 對於 Ingesting 的 disease 治癒 抗生素 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1355-1355 |
子類 CarbapenemAntibiotic and 抗生素 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1964-1964 |
子類 Cephalosporin and 抗生素 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3583-3583 |
子類 Clarithromycin and 抗生素 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3800-3800 |
子類 多西環素 and 抗生素 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1342-1342 |
子類 InjectedAntibiotic and 抗生素 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1284-1284 |
子類 口服抗生素 and 抗生素 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1311-1311 |
子類 外用抗生素 and 抗生素 |
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 |
|