TreeView Knowledge Base Browser

appearance as argument number 1

(instance diseaseTreatment BinaryPredicate)	Medicine.kif 5842-5842	disease treatment is an instance of binary predicate
(domain diseaseTreatment 1 DiseaseOrSyndrome)	Medicine.kif 5844-5844	The number 1 argument of disease treatment is an instance of disease or syndrome
(domainSubclass diseaseTreatment 2 TherapeuticProcess)	Medicine.kif 5845-5845	The number 2 argument of disease treatment is a subclass of therapeutic process
(documentation diseaseTreatment EnglishLanguage "A reasonable treatment for the given DiseaseOrSyndrome is the given TherapeuticProcess.")	Medicine.kif 5846-5847	The number 2 argument of disease treatment is a subclass of therapeutic process

appearance as argument number 2

(termFormat EnglishLanguage diseaseTreatment "disease treatment")	Medicine.kif 5843-5843
(format EnglishLanguage diseaseTreatment "%2 is a treatment for %1")	Medicine.kif 5848-5848

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))

If All of the following hold: (1) X is an attribute of Y (2) Z is a treatment for X (3) W is an instance of TherpeuticProcess (4) V is an agent of W (5) Y is a patient of W (6) medical doctor is an attribute of V, then the statement W is an instance of Z has the modal force of possibility