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	The number 1 argument of patient medical is an instance of human
(domain patientMedical 2 CognitiveAgent)	Mid-level-ontology.kif 5662-5662	The number 2 argument of patient medical is an instance of cognitive agent
(instance patientMedical BinaryPredicate)	Mid-level-ontology.kif 5660-5660	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 44840-44840
(termFormat ChineseTraditionalLanguage patientMedical "病人醫療")	domainEnglishFormat.kif 44839-44839
(termFormat EnglishLanguage patientMedical "patient medical")	domainEnglishFormat.kif 44838-44838

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

If a cognitive agent is a patient medical of a human,
then there exists a process such that the human is a patient of the process and the cognitive agent is an agent of the process and the process is an instance of diagnostic process or the process 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 9870-9883

If a kind of medicine is medicine for a disease or syndrome,
then there exists the disease or syndromeOC such that the disease or syndromeOC is an instance of medical doctor and the disease or syndromeOC believes there exist an entity, another entity and a third entity such that the third entity is an instance of a kind of medicine and the entity is an instance of therapeutic process and the other entity is an instance of human and the disease or syndromeOC is a patient medical of the other entity and the third entity is a resource for the entity and the other entity is a beneficiary of the 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: