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 5820-5821
(domain diseaseTreatment 1 DiseaseOrSyndrome)	Medicine.kif 5818-5818	The number 1 argument of diseaseTreatment is an instance of disease or syndrome
(domainSubclass diseaseTreatment 2 TherapeuticProcess)	Medicine.kif 5819-5819	The number 2 argument of diseaseTreatment is a subclass of therapeutic process
(instance diseaseTreatment BinaryPredicate)	Medicine.kif 5817-5817	diseaseTreatment is an instance of binary predicate

appearance as argument number 2

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