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 5808-5809
(domain diseaseTreatment 1 DiseaseOrSyndrome)	Medicine.kif 5806-5806	The number 1 argument of diseaseTreatment is an instance of disease or syndrome
(domainSubclass diseaseTreatment 2 TherapeuticProcess)	Medicine.kif 5807-5807	The number 2 argument of diseaseTreatment is a subclass of therapeutic process
(instance diseaseTreatment BinaryPredicate)	Medicine.kif 5805-5805	diseaseTreatment is an instance of binary predicate

appearance as argument number 2

Medicine.kif 5810-5810

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 5812-5822