Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  MedicalDoctor

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


(instance MedicalDoctor Profession) Mid-level-ontology.kif 23274-23274 Medical doctor is an instance of profession
(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 23275-23276 Medical doctor is an instance of profession

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


(subAttribute Surgeon MedicalDoctor) Mid-level-ontology.kif 23287-23287 Surgeon is a subattribute of medical doctor
(subAttribute Psychiatrist MedicalDoctor) Biography.kif 547-547 Psychiatrist is a subattribute of medical doctor
(subAttribute Pulmonologist MedicalDoctor) Medicine.kif 4496-4496 Pulmonologist is a subattribute of medical doctor
(termFormat EnglishLanguage MedicalDoctor "medical doctor") domainEnglishFormat.kif 36827-36827 Pulmonologist is a subattribute of medical doctor
(termFormat ChineseTraditionalLanguage MedicalDoctor "醫生") domainEnglishFormat.kif 36828-36828 Pulmonologist is a subattribute of medical doctor
(termFormat ChineseLanguage MedicalDoctor "医生") domainEnglishFormat.kif 36829-36829 Pulmonologist is a subattribute of medical doctor

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


(=>
    (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 23278-23285 If medical doctor is an attribute of X, then there exist Y, Z such that Y is a subclass of diagnostic process, Z is a subclass of therapeutic process, X is capable of doing Y as a agent, and X is capable of doing Z as a agent
(=>
    (and
        (instance ?E Electrocardiography)
        (patient ?E ?H)
        (agent ?E ?D)
        (attribute ?D MedicalDoctor))
    (hasPurpose ?E
        (knows ?D
            (exists (?T)
                (attribute ?H
                    (ImpairedBodyPartFn Heart))))))		 Medicine.kif 3480-3490 If X is an instance of electrocardiography, Y is a patient of X, Z is an agent of X, and medical doctor is an attribute of Z, then X has the purpose Z knows there exists W such that impaired body part fn heart is an attribute of Y
(=>
    (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 5850-5860 If All of the following hold: (1) X is an attribute of Y (2) Z is a treatment for X (3) W is an instance of TherpeuticProcess (4) V is an agent of W (5) Y is a patient of W (6) medical doctor is an attribute of V, then the statement W is an instance of Z has the modal force of possibility

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 11118-11131 If X is medicine for Y, then All of the following hold: (1) there exists Z such that Z is an instance of medical doctor (2) Z believes there exist W, V (3) U such that U is an instance of X (4) W is an instance of therapeutic process (5) V is an instance of human (6) Z is a patient medical of V (7) U is a resource for W (8) V is a beneficiary of W
(=>
    (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 2299-2310 If X is an instance of medical service, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) Y employs Z (4) medical doctor is an attribute of Z (5) Z provides a service during X (6) W is an instance of therapeutic process or W is an instance of diagnostic process (7) W is a subprocess of X
(=>
    (and
        (instance ?M Misdiagnosing)
        (agent ?M ?D))
    (instance ?D MedicalDoctor))		 Medicine.kif 4226-4230 If X is an instance of misdiagnosing and Y is an agent of X, then Y is an instance of medical doctor
(=>
    (instance ?MC MedicalClinic)
    (exists (?D)
        (and
            (instance ?MC CareOrganization)
            (attribute ?D MedicalDoctor)
            (employs ?MC ?D))))		 Society.kif 195-201 If X is an instance of clinic, then there exists Y such that X is an instance of care organization, medical doctor is an attribute of Y, and X employs Y


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners