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	attribute Oggetto and Pulmonologist Processo Processo, Oggetto and Oggetto Classe è una sottoclasse di ProcessoDiagnostico Classe è una sottoclasse di ProcessoTerapeutico Oggetto è un paziente di Processo Oggetto è un paziente di Processo Oggetto è un' istanza di Lung Oggetto è una parte di Oggetto Processo è localizzato in Lung Processo è localizzato in Lung
(subclass Lung VitalOrgan)	Mid-level-ontology.kif 11185-11185	Lung è una sottoclasse di VitalOrgan
(subclass Lung AnimalAnatomicalStructure)	Mid-level-ontology.kif 11186-11186	Lung è una sottoclasse di AnimalAnatomicalStructure