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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pulmonologist

Sigma KEE - Pulmonologist
Pulmonologist

appearance as argument number 1
-------------------------


(documentation Pulmonologist EnglishLanguage "A MedicalDoctor who deals with diseases and disorders of the respiratory tract.") Medicine.kif 4477-4478
(instance Pulmonologist Position) Medicine.kif 4476-4476
(subAttribute Pulmonologist MedicalDoctor) Medicine.kif 4475-4475

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


(termFormat EnglishLanguage Pulmonologist "pulmonologist") Medicine.kif 4479-4479

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


(=>
    (attribute ?H Pulmonologist)
    (exists (?P1 ?P2 ?PAT ?L)
        (and
            (subclass ?PROCESS1 DiagnosticProcess)
            (subclass ?PROCESS2 TherapeuticProcess)
            (patient ?P1 ?PAT)
            (patient ?P2 ?PAT)
            (instance ?L Lung)
            (part ?L ?PAT)
            (located ?P1 Lung)
            (located ?P2 Lung))))
Medicine.kif 4481-4492


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