diseaseTreatment |
appearance as argument number 1 |
![]() |
(documentation diseaseTreatment EnglishLanguage "A reasonable treatment for the given DiseaseOrSyndrome is the given TherapeuticProcess.") | Medicine.kif 5832-5833 | |
(domain diseaseTreatment 1 DiseaseOrSyndrome) | Medicine.kif 5830-5830 | diseaseTreatment の数値 1 引数は 病気または症候群 の instance では |
(domainSubclass diseaseTreatment 2 TherapeuticProcess) | Medicine.kif 5831-5831 | diseaseTreatment の数値 2 引数は 治療経過 のsubclass では |
(instance diseaseTreatment BinaryPredicate) | Medicine.kif 5828-5828 | diseaseTreatment は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format EnglishLanguage diseaseTreatment "%2 is a treatment for %1") | Medicine.kif 5834-5834 | |
(termFormat EnglishLanguage diseaseTreatment "disease treatment") | Medicine.kif 5829-5829 |
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 5836-5846 |
![]() |
![]() |