Eczema |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4377-4377 | Eczema 是 对于 TopicalApplication 的 disease 治愈 Crisaborole |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4363-4375 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4361-4361 | Eczema 是 疾病或综合症 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4380-4380 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4379-4379 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4378-4378 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4389-4395 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4382-4387 |