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_doctor, medical_practice, medico, optometry, physician, primary_care_physician, resident, resident_physician

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


s__documentation(s__MedicalDoctor,s__EnglishLanguage,'The Profession of being a medical doctor, i.e. having attended medical school and being licensed to practice medicine.')

Mid-level-ontology.kif 18654-18655
s__instance(s__MedicalDoctor,s__Profession)

Mid-level-ontology.kif 18653-18653 Medical doctor is an instance of profession

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


s__subAttribute(s__Surgeon,s__MedicalDoctor)

Mid-level-ontology.kif 18666-18666 Surgeon is a subattribute of medical doctor
s__termFormat(s__EnglishLanguage,s__MedicalDoctor,'medical doctor')

domainEnglishFormat.kif 6558-6558 "medical doctor" is the printable form of medical doctor in english language

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


( ! [V__DOCTOR] :
   (s__attribute(V__DOCTOR,s__MedicalDoctor) =>
     (? [V__PROCESS1,V__PROCESS2] :
       (s__subclass(V__PROCESS1,s__DiagnosticProcess) &
         s__subclass(V__PROCESS2,s__TherapeuticProcess) &
         s__capability(V__PROCESS1,s__agent__m,V__DOCTOR)
       &
       s__capability(V__PROCESS2,s__agent__m,V__DOCTOR))))
)

Mid-level-ontology.kif 18657-18664

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


( ! [V__MC] :
   (s__instance(V__MC,s__MedicalClinic) =>
     (? [V__D] :
       (s__instance(V__MC,s__CareOrganization) &
         s__attribute(V__D,s__MedicalDoctor) &
         s__employs(V__MC,V__D))))
)

Society.kif 195-201
( ! [V__MS] :
   (s__instance(V__MS,s__MedicalService) =>
     (? [V__AGENT,V__HUMAN,V__PROC] :
       (s__agent(V__MS,V__AGENT)
       &
       s__employs(V__AGENT,V__HUMAN)
     &
     s__attribute(V__HUMAN,s__MedicalDoctor) &
     s__serviceProvider(V__MS,V__HUMAN)
   &
   (s__instance(V__PROC,s__TherapeuticProcess) |
     s__instance(V__PROC,s__DiagnosticProcess))
   &
   s__subProcess(V__PROC,V__MS))))
)

Hotel.kif 2222-2233


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