Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - patientMedical
patientMedical

appearance as argument number 1
-------------------------


(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 5669-5674
(domain patientMedical 1 Human) Mid-level-ontology.kif 5667-5667 The number 1 argument of patient medical is an instance of human
(domain patientMedical 2 CognitiveAgent) Mid-level-ontology.kif 5668-5668 The number 2 argument of patient medical is an instance of cognitive agent
(instance patientMedical BinaryPredicate) Mid-level-ontology.kif 5666-5666 patient medical is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage patientMedical "%2 %n 是 %1 的 patient 医疗") domainEnglishFormat.kif 1919-1919
(format ChineseTraditionalLanguage patientMedical "%2 %n 是 %1 的 patient 醫療") domainEnglishFormat.kif 1918-1918
(format EnglishLanguage patientMedical "%2 is %n a patient medical of %1") domainEnglishFormat.kif 1917-1917
(termFormat ChineseLanguage patientMedical "病人医疗") domainEnglishFormat.kif 44802-44802
(termFormat ChineseTraditionalLanguage patientMedical "病人醫療") domainEnglishFormat.kif 44801-44801
(termFormat EnglishLanguage patientMedical "patient medical") domainEnglishFormat.kif 44800-44800

antecedent
-------------------------


(=>
    (patientMedical ?PATIENT ?DOCTOR)
    (exists (?PROCESS)
        (and
            (patient ?PROCESS ?PATIENT)
            (agent ?PROCESS ?DOCTOR)
            (or
                (instance ?PROCESS DiagnosticProcess)
                (instance ?PROCESS TherapeuticProcess)))))
Mid-level-ontology.kif 5676-5684

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 9652-9665


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners