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 1772-1786	如果客体是有点复合物质的 instance 和有点复合物质是复合物质的 subclass 和不存在另一个客体这样那个另外客体是那个有点复合物质的 instance 和那个另外客体是那个客体的 part 和 molecularRatio 有点元素物质, 整数 and 那个有点复合物质和群体是群组的 instance 和第三客体是那个群体的 member 和那个第三客体是那个客体的 part 和那个第三客体是有点元素物质的 instance，然后那个整数是那个群体的 member 计数
(subclass Group Collection)	Merge.kif 16223-16223	群组是群体的 subclass
(subclass Group AutonomousAgent)	Merge.kif 16224-16224	群组是施事体的 subclass
(subclass GroupOfAnimals Group)	Mid-level-ontology.kif 7476-7476	一群动物是群组的 subclass
(subclass GroupOfPeople Group)	Merge.kif 16234-16234	一群人是群组的 subclass
(subclass Organization Group)	Merge.kif 16604-16604	机构是群组的 subclass
(subclass FileSystem Group)	engineering.kif 1335-1335	文件系统是群组的 subclass