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	例 Object and CompoundSubstance 子類 CompoundSubstance and CompoundSubstance Object 例 Object and CompoundSubstance 部分 Object and Object molecularRatio ElementalSubstance, Integer and CompoundSubstance 例 Collection and Group 會員 Object and Collection 部分 Object and Object 例 Object and ElementalSubstance Integer 是 Collection 的 member 計數
(subclass Group Collection)	Merge.kif 16223-16223	子類 Group and Collection
(subclass Group AutonomousAgent)	Merge.kif 16224-16224	子類 Group and AutonomousAgent
(subclass GroupOfAnimals Group)	Mid-level-ontology.kif 7476-7476	子類一群動物 and Group
(subclass GroupOfPeople Group)	Merge.kif 16234-16234	子類一群人 and Group
(subclass Organization Group)	Merge.kif 16604-16604	子類 Organization and Group
(subclass FileSystem Group)	engineering.kif 1335-1335	子類文件系統 and Group