| 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 数量 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5819-5819 |
diseaseTreatment 的 2 数量 是 治疗过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5817-5817 |
diseaseTreatment 是 二元谓语 的 instance |
diseaseTreatment