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 21060-21061 | |
(instance MedicalDoctor Profession) | Mid-level-ontology.kif 21059-21059 | MedicalDoctor は Profession の instance では %n |
appearance as argument number 2 |
(subAttribute Psychiatrist MedicalDoctor) | Biography.kif 539-539 | Psychiatrist は MedicalDoctor の subattribute では %n |
(subAttribute Pulmonologist MedicalDoctor) | Medicine.kif 4475-4475 | Pulmonologist は MedicalDoctor の subattribute では %n |
(subAttribute Surgeon MedicalDoctor) | Mid-level-ontology.kif 21072-21072 | Surgeon は MedicalDoctor の subattribute では %n |
(termFormat ChineseLanguage MedicalDoctor "医生") | domainEnglishFormat.kif 36827-36827 | |
(termFormat ChineseTraditionalLanguage MedicalDoctor "醫生") | domainEnglishFormat.kif 36826-36826 | |
(termFormat EnglishLanguage MedicalDoctor "medical doctor") | domainEnglishFormat.kif 36825-36825 |
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 5824-5834 | |
(=> (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 3449-3460 |
|
(=> (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 21063-21070 |
consequent |