Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15016-15024	Collection est une instance de Industry physique physique and classe physique est un membre de collection physique est un membre de collection classe est une sous-classe de corporation physique est une instance imm�diate de classe physique est une instance imm�diate de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16188-16188	Corporation est une sous-classe de Business
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16190-16190	Corporation est une sous-classe de LegalAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16197-16197	Manufacturer est une sous-classe de corporation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16210-16210	MercantileOrganization est une sous-classe de corporation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4397-4397	LabCorp est une sous-classe de corporation