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 では %n |
(domainSubclass diseaseTreatment 2 TherapeuticProcess) | Medicine.kif 5819-5819 | diseaseTreatment の数値 2 引数は 治療経過 のsubclass では %n |
(instance diseaseTreatment BinaryPredicate) | Medicine.kif 5817-5817 | diseaseTreatment は 2進述語 の instance では %n |
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 |