| MedicalDoctor | |
| 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 18766-18767 | |
| (instance MedicalDoctor Profession) | Mid-level-ontology.kif 18765-18765 | instance MedicalDoctor and Profession |
| appearance as argument number 2 |
|
|
| (subAttribute Surgeon MedicalDoctor) | Mid-level-ontology.kif 18778-18778 | subAttribute Surgeon and MedicalDoctor |
| (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 18769-18776 |
| 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 |
|
|
|
|