Sigma KB Term Intersection

(=> (instance ?INDUSTRY Industry) (exists (?MEMB1 ?MEMB2 ?CLASS) (and (member ?MEMB1 ?INDUSTRY) (member ?MEMB2 ?INDUSTRY) (subclass ?CLASS Corporation) (immediateInstance ?MEMB1 ?CLASS) (immediateInstance ?MEMB2 ?CLASS))))	Mid-level-ontology.kif 15015-15023	Wenn Collection ist ein fall von Industry %n{nicht}, dann es gibt Physical, Physical, and und Class um Physical ist ein Mitglied von Collection %n{nicht} und Physical ist ein Mitglied von Collection %n{nicht} und Class ist eine teilkategorie von Corporation und Physical ist ein direkter fall von Class und Physical ist ein direkter fall von Class
(subclass Corporation Business)	Merge.kif 16210-16210	Corporation ist eine teilkategorie von Business
(subclass Corporation LegalAgent)	Merge.kif 16212-16212	Corporation ist eine teilkategorie von LegalAgent
(subclass Manufacturer Corporation)	Merge.kif 16219-16219	Manufacturer ist eine teilkategorie von Corporation
(subclass MercantileOrganization Corporation)	Merge.kif 16232-16232	MercantileOrganization ist eine teilkategorie von Corporation
(subclass LabCorp Corporation)	Medicine.kif 4397-4397	LabCorp ist eine teilkategorie von Corporation