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, 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 18714-18715
(instance MedicalDoctor Profession) Mid-level-ontology.kif 18713-18713 Medical doctor is an instance of profession

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


(subAttribute Surgeon MedicalDoctor) Mid-level-ontology.kif 18726-18726 Surgeon is a subattribute of medical doctor
(termFormat ChineseLanguage MedicalDoctor "医生") domainEnglishFormat.kif 36727-36727
(termFormat ChineseTraditionalLanguage MedicalDoctor "醫生") domainEnglishFormat.kif 36726-36726
(termFormat EnglishLanguage MedicalDoctor "medical doctor") domainEnglishFormat.kif 36725-36725

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

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


(=>
    (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 2227-2238


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners