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 22650-22651
(instance MedicalDoctor Profession) Mid-level-ontology.kif 22649-22649 MedicalDoctor は Profession の instance では

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


(subAttribute Psychiatrist MedicalDoctor) Biography.kif 547-547 Psychiatrist は MedicalDoctor の subattribute では
(subAttribute Pulmonologist MedicalDoctor) Medicine.kif 4482-4482 Pulmonologist は MedicalDoctor の subattribute では
(subAttribute Surgeon MedicalDoctor) Mid-level-ontology.kif 22662-22662 Surgeon は MedicalDoctor の subattribute では
(termFormat ChineseLanguage MedicalDoctor "医生") domainEnglishFormat.kif 36836-36836 Surgeon は MedicalDoctor の subattribute では
(termFormat ChineseTraditionalLanguage MedicalDoctor "醫生") domainEnglishFormat.kif 36835-36835 Surgeon は MedicalDoctor の subattribute では
(termFormat EnglishLanguage MedicalDoctor "medical doctor") domainEnglishFormat.kif 36834-36834 Surgeon は MedicalDoctor の subattribute では

antecedent
-------------------------


(=>
    (and
        (attribute ?H ?D)
        (diseaseTreatment ?D ?P)
        (instance ?TP TherpeuticProcess)
        (agent ?TP ?DOC)
        (patient ?TP ?H)
        (attribute ?DOC MedicalDoctor))
    (modalAttribute
        (instance ?TP ?P) Possibility))		 Medicine.kif 5836-5846
(=>
    (and
        (instance ?E Electrocardiography)
        (patient ?E ?H)
        (agent ?E ?D)
        (attribute ?D MedicalDoctor))
    (hasPurpose ?E
        (knows ?D
            (exists (?T)
                (truth
                    (attribute ?H
                        (ImpairedBodyPartFn Heart)) ?T)))))		 Medicine.kif 3450-3461
(=>
    (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 22653-22660

consequent
-------------------------


(=>
    (and
        (instance ?M Misdiagnosing)
        (agent ?M ?D))
    (instance ?D MedicalDoctor))		 Medicine.kif 4195-4199
(=>
    (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 2292-2303
(=>
    (medicine ?MC ?D)
    (exists (?DOC)
        (and
            (instance ?DOC MedicalDoctor)
            (believes ?DOC
                (exists (?T ?H ?M)
                    (and
                        (instance ?M ?MC)
                        (instance ?T TherapeuticProcess)
                        (instance ?H Human)
                        (patientMedical ?H ?DOC)
                        (resource ?T ?M)
                        (benefits ?T ?H)))))))		 Mid-level-ontology.kif 10981-10994


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