| (=> (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 11186-11186 | Lung est une sous-classe de VitalOrgan |
| (subclass Lung AnimalAnatomicalStructure) | Mid-level-ontology.kif 11187-11187 | Lung est une sous-classe de AnimalAnatomicalStructure |
|
|