Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15015-15023	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 16210-16210	Corporation is a subclass of business
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16212-16212	Corporation is a subclass of legal agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16219-16219	Manufacturer is a subclass of corporation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16232-16232	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