diseaseTreatment |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5820-5821 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5818-5818 | 域 diseaseTreatment, 1 and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5819-5819 | 域子類 diseaseTreatment, 2 and TherapeuticProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5817-5817 | 例 diseaseTreatment and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5822-5822 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5824-5834 |
|