diseaseTreatment |
appearance as argument number 1 |
(documentation diseaseTreatment EnglishLanguage "A reasonable treatment for the given DiseaseOrSyndrome is the given TherapeuticProcess.") | Medicine.kif 5820-5821 | |
(domain diseaseTreatment 1 DiseaseOrSyndrome) | Medicine.kif 5818-5818 | diseaseTreatment 的 1 数量 是 疾病或综合症 的 instance |
(domainSubclass diseaseTreatment 2 TherapeuticProcess) | Medicine.kif 5819-5819 | diseaseTreatment 的 2 数量 是 治疗过程 的 subclass |
(instance diseaseTreatment BinaryPredicate) | Medicine.kif 5817-5817 | diseaseTreatment 是 二元谓语 的 instance |
appearance as argument number 2 |
(format EnglishLanguage diseaseTreatment "%2 is a treatment for %1") | Medicine.kif 5822-5822 |
antecedent |
(=> (and (attribute ?H ?D) (diseaseTreatment ?D ?P) (instance ?TP TherpeuticProcess) (agent ?TP ?DOC) (patient ?TP ?H) (attribute ?DOC MedicalDoctor)) (modalAttribute (instance ?TP ?P) Possibility)) |
Medicine.kif 5824-5834 |