| 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 18713-18714 | |
| (instance MedicalDoctor Profession) | Mid-level-ontology.kif 18712-18712 | MedicalDoctor は Profession の instance では %n |
| appearance as argument number 2 |
|
|
| (subAttribute Surgeon MedicalDoctor) | Mid-level-ontology.kif 18725-18725 | Surgeon は MedicalDoctor の subattribute では %n |
| (termFormat ChineseLanguage MedicalDoctor "医生") | domainEnglishFormat.kif 36751-36751 | termFormat ChineseLanguage, MedicalDoctor and "医生" |
| (termFormat ChineseTraditionalLanguage MedicalDoctor "醫生") | domainEnglishFormat.kif 36750-36750 | termFormat ChineseTraditionalLanguage, MedicalDoctor and "醫生" |
| (termFormat EnglishLanguage MedicalDoctor "medical doctor") | domainEnglishFormat.kif 36749-36749 | termFormat EnglishLanguage, MedicalDoctor and "medical doctor" |
| 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 18716-18723 |
| 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 2222-2233 |
|
|
|
|