Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21766-21780	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 16294-16294	Group is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16295-16295	Group is a subclass of agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7503-7503	Group of animals is a subclass of group
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16305-16305	Group of people is a subclass of group
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16675-16675	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