| 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 |
|
|
| (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 18712-18713 | |
| (instance MedicalDoctor Profession) | Mid-level-ontology.kif 18711-18711 | Medical doctor is an instance of profession |
| appearance as argument number 2 |
|
|
| (subAttribute Surgeon MedicalDoctor) | Mid-level-ontology.kif 18724-18724 | Surgeon is a subattribute of medical doctor |
| (termFormat EnglishLanguage MedicalDoctor "medical doctor") | domainEnglishFormat.kif 6558-6558 | "medical doctor" is the printable form of medical doctor in english language |
| 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 18715-18722 |
|
| 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 2222-2233 |
|
|
|
|