| 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 22650-22651 | |
| (instance MedicalDoctor Profession) | Mid-level-ontology.kif 22649-22649 | 医生 是 职业 的 instance |
| appearance as argument number 2 |
|
|
| (subAttribute Psychiatrist MedicalDoctor) | Biography.kif 547-547 | Psychiatrist 是 医生 的 subAttribute |
| (subAttribute Pulmonologist MedicalDoctor) | Medicine.kif 4482-4482 | Pulmonologist 是 医生 的 subAttribute |
| (subAttribute Surgeon MedicalDoctor) | Mid-level-ontology.kif 22662-22662 | 外科医生 是 医生 的 subAttribute |
| (termFormat ChineseLanguage MedicalDoctor "医生") | domainEnglishFormat.kif 36836-36836 | 外科医生 是 医生 的 subAttribute |
| (termFormat ChineseTraditionalLanguage MedicalDoctor "醫生") | domainEnglishFormat.kif 36835-36835 | 外科医生 是 医生 的 subAttribute |
| (termFormat EnglishLanguage MedicalDoctor "medical doctor") | domainEnglishFormat.kif 36834-36834 | 外科医生 是 医生 的 subAttribute |
| antecedent |
|
|
| (=> (and (attribute ?H ?D) (diseaseTreatment ?D ?P) (instance ?TP TherpeuticProcess) (agent ?TP ?DOC) (patient ?TP ?H) (attribute ?DOC MedicalDoctor)) (modalAttribute (instance ?TP ?P) Possibility)) |
Medicine.kif 5836-5846 | |
| (=> (and (instance ?E Electrocardiography) (patient ?E ?H) (agent ?E ?D) (attribute ?D MedicalDoctor)) (hasPurpose ?E (knows ?D (exists (?T) (truth (attribute ?H (ImpairedBodyPartFn Heart)) ?T))))) |
Medicine.kif 3450-3461 | |
| (=> (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 22653-22660 |
| consequent |
|
|
| (=> (and (instance ?M Misdiagnosing) (agent ?M ?D)) (instance ?D MedicalDoctor)) |
Medicine.kif 4195-4199 | |
| (=> (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 2292-2303 | |
| (=> (medicine ?MC ?D) (exists (?DOC) (and (instance ?DOC MedicalDoctor) (believes ?DOC (exists (?T ?H ?M) (and (instance ?M ?MC) (instance ?T TherapeuticProcess) (instance ?H Human) (patientMedical ?H ?DOC) (resource ?T ?M) (benefits ?T ?H))))))) |
Mid-level-ontology.kif 10981-10994 |
|
|
|
|