Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (attribute ?DOCTOR MedicalDoctor)
    (exists (?PROCESS1 ?PROCESS2)
            (subclass ?PROCESS1 DiagnosticProcess)
            (subclass ?PROCESS2 TherapeuticProcess)
            (capability ?PROCESS1 agent ?DOCTOR)
            (capability ?PROCESS2 agent ?DOCTOR))))
Mid-level-ontology.kif 20353-20360


    (instance ?MS MedicalService)
    (exists (?AGENT ?HUMAN ?PROC)
            (agent ?MS ?AGENT)
            (employs ?AGENT ?HUMAN)
            (attribute ?HUMAN MedicalDoctor)
            (serviceProvider ?MS ?HUMAN)
                (instance ?PROC TherapeuticProcess)
                (instance ?PROC DiagnosticProcess))
            (subProcess ?PROC ?MS))))
Hotel.kif 2254-2265

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners