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