(=> (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 |
|
(subclass Lung VitalOrgan) | Mid-level-ontology.kif 11213-11213 | Lung è una sottoclasse di VitalOrgan |
(subclass Lung AnimalAnatomicalStructure) | Mid-level-ontology.kif 11214-11214 | Lung è una sottoclasse di AnimalAnatomicalStructure |