Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15016-15024	If a collection is an instance of industry, then there exist a physical, another physical and a class such that the physical is a member of the collection and the other physical is a member of the collection and the class is a subclass of corporation and the physical is an immediate instance of the class and the other physical is an immediate instance of the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16188-16188	Corporation is a subclass of business
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16190-16190	Corporation is a subclass of legal agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16197-16197	Manufacturer is a subclass of corporation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16210-16210	Mercantile organization is a subclass of corporation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4397-4397	LabCorp is a subclass of corporation