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 はオブジェクトの attribute では %n 工程工程, オブジェクト and オブジェクトクラスは診断プロセスの subclass では %n クラスは治療経過の subclass では %n オブジェクトは工程の patient では %n オブジェクトは工程の patient では %n オブジェクトは Lung の instance では %n オブジェクトはオブジェクトの part では %n 工程は Lung に located して %n 工程は Lung に located して %n
(subclass Lung VitalOrgan)	Mid-level-ontology.kif 11186-11186	Lung は VitalOrgan の subclass では %n
(subclass Lung AnimalAnatomicalStructure)	Mid-level-ontology.kif 11187-11187	Lung は AnimalAnatomicalStructure の subclass では %n