diseaseTreatment - Sigma Knowledge base Browser

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	The number 1 argument of disease treatment is an instance of disease or syndrome
(domainSubclass diseaseTreatment 2 TherapeuticProcess)	Medicine.kif 5831-5831	The number 2 argument of disease treatment is a subclass of therapeutic process
(instance diseaseTreatment BinaryPredicate)	Medicine.kif 5828-5828	disease treatment is an instance of binary predicate

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