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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 20032-20033
(instance MedicalDoctor Profession) Mid-level-ontology.kif 20031-20031

appearance as argument number 2
-------------------------


(subAttribute Psychiatrist MedicalDoctor) Biography.kif 307-307
(subAttribute Surgeon MedicalDoctor) Mid-level-ontology.kif 20044-20044
(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 20035-20042

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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