Medicine(医学) |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5537-5537 | Upadacitinib 是 医学 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3264-3264 | Vyvanse 是 医学 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36869-36869 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36868-36868 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36867-36867 |