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	Objet est une instance de substance compos�e substance compos�e est une sous-classe de substance compos�e objet objet est une instance de substance compos�e objet est une partie de objet molecularRatio substance �l�mentaire, nombre entier and substance compos�e collection est une instance de groupe objet est un membre de collection objet est une partie de objet objet est une instance de substance �l�mentaire memberCount collection and nombre entier
(subclass Group Collection)	Merge.kif 16245-16245	Groupe est une sous-classe de collection
(subclass Group AutonomousAgent)	Merge.kif 16246-16246	Groupe est une sous-classe de AutonomousAgent
(subclass GroupOfAnimals Group)	Mid-level-ontology.kif 7475-7475	GroupOfAnimals est une sous-classe de groupe
(subclass GroupOfPeople Group)	Merge.kif 16256-16256	GroupOfPeople est une sous-classe de groupe
(subclass Organization Group)	Merge.kif 16626-16626	Organisation est une sous-classe de groupe
(subclass FileSystem Group)	engineering.kif 1335-1335	FileSystem est une sous-classe de groupe