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 18766-18767
(instance MedicalDoctor Profession) Mid-level-ontology.kif 18765-18765 instance MedicalDoctor and Profession

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


(subAttribute Surgeon MedicalDoctor) Mid-level-ontology.kif 18778-18778 subAttribute Surgeon and MedicalDoctor
(termFormat ChineseLanguage MedicalDoctor "医生") domainEnglishFormat.kif 36727-36727
(termFormat ChineseTraditionalLanguage MedicalDoctor "醫生") domainEnglishFormat.kif 36726-36726
(termFormat EnglishLanguage MedicalDoctor "medical doctor") domainEnglishFormat.kif 36725-36725

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 18769-18776

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 2227-2238


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners