TreeView 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
(domainSubclass diseaseTreatment 2 TherapeuticProcess)	Medicine.kif 5819-5819
(instance diseaseTreatment BinaryPredicate)	Medicine.kif 5817-5817

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