TreeView Knowledge Base Browser

appearance as argument number 1

(instance patientMedical BinaryPredicate)	Mid-level-ontology.kif 6785-6785	patient medical is an instance of binary predicate
(domain patientMedical 1 Human)	Mid-level-ontology.kif 6786-6786	The number 1 argument of patient medical is an instance of human
(domain patientMedical 2 CognitiveAgent)	Mid-level-ontology.kif 6787-6787	The number 2 argument of patient medical is an instance of cognitive agent
(documentation patientMedical EnglishLanguage "The relation of receiving medical care from a recognized medical practitioner. (patientMedical ?PATIENT ?DOCTOR) means that ?PATIENT is the patient of ?DOCTOR. Note that argument type restriction on the second argument is CognitiveAgent to allow for cases where someone is the patient of an Organization, viz. a CareOrganization.")	Mid-level-ontology.kif 6788-6793	The number 2 argument of patient medical is an instance of cognitive agent

appearance as argument number 2

(format EnglishLanguage patientMedical "%2 is %n a patient medical of %1")	domainEnglishFormat.kif 1921-1921
(format ChineseTraditionalLanguage patientMedical "%2 %n 是 %1 的 patient 醫療")	domainEnglishFormat.kif 1922-1922
(format ChineseLanguage patientMedical "%2 %n 是 %1 的 patient 医疗")	domainEnglishFormat.kif 1923-1923
(termFormat EnglishLanguage patientMedical "patient medical")	domainEnglishFormat.kif 44795-44795
(termFormat ChineseTraditionalLanguage patientMedical "病人醫療")	domainEnglishFormat.kif 44796-44796
(termFormat ChineseLanguage patientMedical "病人医疗")	domainEnglishFormat.kif 44797-44797

antecedent

(=>
    (patientMedical ?PATIENT ?DOCTOR)
    (exists (?PROCESS)
        (and
            (patient ?PROCESS ?PATIENT)
            (agent ?PROCESS ?DOCTOR)
            (or
                (instance ?PROCESS DiagnosticProcess)
                (instance ?PROCESS TherapeuticProcess)))))

Mid-level-ontology.kif 6795-6803

If X is a patient medical of Y, then there exists Z such that Y is a patient of Z, X is an agent of Z, and Z is an instance of diagnostic process or Z is an instance of therapeutic process

consequent

(=>
    (medicine ?MC ?D)
    (exists (?DOC)
        (and
            (instance ?DOC MedicalDoctor)
            (believes ?DOC
                (exists (?T ?H ?M)
                    (and
                        (instance ?M ?MC)
                        (instance ?T TherapeuticProcess)
                        (instance ?H Human)
                        (patientMedical ?H ?DOC)
                        (resource ?T ?M)
                        (benefits ?T ?H)))))))

Mid-level-ontology.kif 11118-11131

If X is medicine for Y, then All of the following hold: (1) there exists Z such that Z is an instance of medical doctor (2) Z believes there exist W, V (3) U such that U is an instance of X (4) W is an instance of therapeutic process (5) V is an instance of human (6) Z is a patient medical of V (7) U is a resource for W (8) V is a beneficiary of W

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: