Sigma KB Term Intersection

(=> (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	Pulmonologist e' um atributo de Objeto Processo Processo, Objeto and Objeto Classe e' uma sub-classe de Processo de Diagnostico Classe e' uma sub-classe de Processo Terapeutico Objeto e' um patient de Processo Objeto e' um patient de Processo Objeto e' uma instancia de Lung Objeto e' uma &parte de Objeto Processo e' situado em Lung Processo e' situado em Lung
(subclass Lung VitalOrgan)	Mid-level-ontology.kif 11186-11186	Lung e' uma sub-classe de VitalOrgan
(subclass Lung AnimalAnatomicalStructure)	Mid-level-ontology.kif 11187-11187	Lung e' uma sub-classe de AnimalAnatomicalStructure