|
|
  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 20350-20351 | |
| (instance MedicalDoctor Profession) | Mid-level-ontology.kif 20349-20349 |
| appearance as argument number 2 |
|
|
| (subAttribute Psychiatrist MedicalDoctor) | Biography.kif 307-307 | |
| (subAttribute Surgeon MedicalDoctor) | Mid-level-ontology.kif 20362-20362 | |
| (termFormat ChineseLanguage MedicalDoctor "医生") | domainEnglishFormat.kif 36816-36816 | |
| (termFormat ChineseTraditionalLanguage MedicalDoctor "醫生") | domainEnglishFormat.kif 36815-36815 | |
| (termFormat EnglishLanguage MedicalDoctor "medical doctor") | domainEnglishFormat.kif 36814-36814 |
| 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 20353-20360 |
| 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 2254-2265 |
|
|
|