Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1778-1792	If an object is an instance of a kind of compound substance and a kind of compound substance is a subclass of compound substance and there doesn't exist another object such that the other object is an instance of the kind of compound substance and the other object is a part of the object and the number of molecules of a kind of elemental substance in a molecule of the kind of compound substance is an integer and a collection is an instance of group and a third object is a member of the collection and the third object is a part of the object and the third object is an instance of a kind of elemental substance, then the integer is a member count of the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16245-16245	Group is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16246-16246	Group is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7475-7475	Group of animals is a subclass of group
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16256-16256	Group of people is a subclass of group
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16626-16626	Organization is a subclass of group
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1335-1335	File system is a subclass of group