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