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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MedicalDoctor
MedicalDoctor(medical doctor)Dr., Hippocrates, MD, abortionist, country_doctor, doc, doctor, family_medicine, family_practice, gastroenterologist, group_practice, house_physician, medical_practice, medico, optometry, physician, primary_care_physician, proctologist, resident, resident_physician

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


(documentation MedicalDoctor EnglishLanguage "The Profession of being a medical doctor, i.e. having attended medical school and being licensed to practice medicine.") Mid-level-ontology.kif 22122-22123
(instance MedicalDoctor Profession) Mid-level-ontology.kif 22121-22121 Medical doctor is an instance of profession

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


(subAttribute Psychiatrist MedicalDoctor) Biography.kif 539-539 Psychiatrist is a subattribute of medical doctor
(subAttribute Pulmonologist MedicalDoctor) Medicine.kif 4463-4463 Pulmonologist is a subattribute of medical doctor
(subAttribute Surgeon MedicalDoctor) Mid-level-ontology.kif 22134-22134 Surgeon is a subattribute of medical doctor
(termFormat ChineseLanguage MedicalDoctor "医生") domainEnglishFormat.kif 36853-36853 Surgeon is a subattribute of medical doctor
(termFormat ChineseTraditionalLanguage MedicalDoctor "醫生") domainEnglishFormat.kif 36852-36852 Surgeon is a subattribute of medical doctor
(termFormat EnglishLanguage MedicalDoctor "medical doctor") domainEnglishFormat.kif 36851-36851 Surgeon is a subattribute of medical doctor

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


(=>
    (and
        (attribute ?H ?D)
        (diseaseTreatment ?D ?P)
        (instance ?TP TherpeuticProcess)
        (agent ?TP ?DOC)
        (patient ?TP ?H)
        (attribute ?DOC MedicalDoctor))
    (modalAttribute
        (instance ?TP ?P) Possibility))
Medicine.kif 5812-5822
(=>
    (and
        (instance ?E Electrocardiography)
        (patient ?E ?H)
        (agent ?E ?D)
        (attribute ?D MedicalDoctor))
    (hasPurpose ?E
        (knows ?D
            (exists (?T)
                (truth
                    (attribute ?H
                        (ImpairedBodyPartFn Heart)) ?T)))))
Medicine.kif 3437-3448
(=>
    (attribute ?DOCTOR MedicalDoctor)
    (exists (?PROCESS1 ?PROCESS2)
        (and
            (subclass ?PROCESS1 DiagnosticProcess)
            (subclass ?PROCESS2 TherapeuticProcess)
            (capability ?PROCESS1 agent ?DOCTOR)
            (capability ?PROCESS2 agent ?DOCTOR))))
Mid-level-ontology.kif 22125-22132

consequent
-------------------------


(=>
    (and
        (instance ?M Misdiagnosing)
        (agent ?M ?D))
    (instance ?D MedicalDoctor))
Medicine.kif 4177-4181
(=>
    (instance ?MS MedicalService)
    (exists (?AGENT ?HUMAN ?PROC)
        (and
            (agent ?MS ?AGENT)
            (employs ?AGENT ?HUMAN)
            (attribute ?HUMAN MedicalDoctor)
            (serviceProvider ?MS ?HUMAN)
            (or
                (instance ?PROC TherapeuticProcess)
                (instance ?PROC DiagnosticProcess))
            (subProcess ?PROC ?MS))))
Hotel.kif 2281-2292
(=>
    (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


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