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	例 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 16245-16245	子類 Group and Collection
(subclass Group AutonomousAgent)	Merge.kif 16246-16246	子類 Group and AutonomousAgent
(subclass GroupOfAnimals Group)	Mid-level-ontology.kif 7475-7475	子類一群動物 and Group
(subclass GroupOfPeople Group)	Merge.kif 16256-16256	子類一群人 and Group
(subclass Organization Group)	Merge.kif 16626-16626	子類 Organization and Group
(subclass FileSystem Group)	engineering.kif 1335-1335	子類文件系統 and Group