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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MedicalDoctor

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


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