Pulmonologist - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Pulmonologist EnglishLanguage "A MedicalDoctor who deals with diseases and disorders of the respiratory tract.")	Medicine.kif 4484-4485
(instance Pulmonologist Position)	Medicine.kif 4483-4483	Pulmonologist is an instance of position
(subAttribute Pulmonologist MedicalDoctor)	Medicine.kif 4482-4482	Pulmonologist is a subattribute of medical doctor

appearance as argument number 2

(termFormat EnglishLanguage Pulmonologist "pulmonologist")

Medicine.kif 4486-4486

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 4488-4499