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 6218-6223
(domain patientMedical 1 Human)	Mid-level-ontology.kif 6216-6216	The number 1 argument of patient medical is an instance of human
(domain patientMedical 2 CognitiveAgent)	Mid-level-ontology.kif 6217-6217	The number 2 argument of patient medical is an instance of cognitive agent
(instance patientMedical BinaryPredicate)	Mid-level-ontology.kif 6215-6215	patient medical is an instance of binary predicate

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 6225-6233

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 10548-10561

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: