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 5832-5833
(domain diseaseTreatment 1 DiseaseOrSyndrome)	Medicine.kif 5830-5830	diseaseTreatment の数値 1 引数は病気または症候群の instance では
(domainSubclass diseaseTreatment 2 TherapeuticProcess)	Medicine.kif 5831-5831	diseaseTreatment の数値 2 引数は治療経過のsubclass では
(instance diseaseTreatment BinaryPredicate)	Medicine.kif 5828-5828	diseaseTreatment は 2進述語の instance では

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