Sigma KB Term Intersection

(=> (and (instance ?CS1 ?CLASS) (subclass ?CLASS CompoundSubstance) (not (exists (?CS2) (and (instance ?CS2 ?CLASS) (part ?CS2 ?CS1)))) (molecularRatio ?ECLASS ?N ?CLASS) (instance ?G Group) (member ?E ?G) (part ?E ?CS1) (instance ?E ?ECLASS)) (memberCount ?G ?N))	Cars.kif 1768-1782	instance Object and CompoundSubstance subclass CompoundSubstance and CompoundSubstance Object instance Object and CompoundSubstance part Object and Object molecularRatio ElementalSubstance, Integer and CompoundSubstance instance Collection and Group member Object and Collection part Object and Object instance Object and ElementalSubstance memberCount Collection and Integer
(subclass Group Collection)	Merge.kif 15036-15036	subclass Group and Collection
(subclass Group Agent)	Merge.kif 15037-15037	subclass Group and Agent
(subclass GroupOfAnimals Group)	Mid-level-ontology.kif 7193-7193	subclass GroupOfAnimals and Group
(subclass GroupOfPeople Group)	Merge.kif 15047-15047	subclass GroupOfPeople and Group
(subclass Organization Group)	Merge.kif 15414-15414	subclass Organization and Group
(subclass FileSystem Group)	engineering.kif 1333-1333	subclass FileSystem and Group