patientMedical - Sigma Knowledge base Browser

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 5663-5668
(domain patientMedical 1 Human)	Mid-level-ontology.kif 5661-5661	Die Zahl 1 Argument von patientMedical ist ein fall von Human %n{nicht}
(domain patientMedical 2 CognitiveAgent)	Mid-level-ontology.kif 5662-5662	Die Zahl 2 Argument von patientMedical ist ein fall von CognitiveAgent %n{nicht}
(instance patientMedical BinaryPredicate)	Mid-level-ontology.kif 5660-5660	patientMedical ist ein fall von BinaryPredicate %n{nicht}

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 44804-44804
(termFormat ChineseTraditionalLanguage patientMedical "病人醫療")	domainEnglishFormat.kif 44803-44803
(termFormat EnglishLanguage patientMedical "patient medical")	domainEnglishFormat.kif 44802-44802

antecedent

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

Mid-level-ontology.kif 5670-5678

Wenn patientMedical Human and CognitiveAgent,
dann es gibt Process um ** Human ist ein patient von ** Process %n{nicht} und ** Process ist der agent von ** CognitiveAgent %n{nicht} und ** Process ist ein fall von DiagnosticProcess %n{nicht} oder ** Process ist ein fall von TherapeuticProcess %n{nicht}

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 9679-9692

Wenn medicine ** Medicine and DiseaseOrSyndrome,
dann es gibt ** DiseaseOrSyndromeOC um ** DiseaseOrSyndromeOC ist ein fall von MedicalDoctor %n{nicht} und ** DiseaseOrSyndromeOC glaubt %n{nicht}, dass es gibt entity, ** entity, and und ** entity um ** ** entity ist ein fall von ** Medicine %n{nicht} und ** entity ist ein fall von TherapeuticProcess %n{nicht} und ** ** entity ist ein fall von Human %n{nicht} und patientMedical ** ** entity and ** DiseaseOrSyndromeOC und ** ** entity ist ein hilfmittel fuer ** entity %n{nicht} und benefits ** entity and ** ** entity

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

KB Term:			Term intersection

English Word: