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	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 16223-16223	Groupe est une sous-classe de collection
(subclass Group AutonomousAgent)	Merge.kif 16224-16224	Groupe est une sous-classe de AutonomousAgent
(subclass GroupOfAnimals Group)	Mid-level-ontology.kif 7476-7476	GroupOfAnimals est une sous-classe de groupe
(subclass GroupOfPeople Group)	Merge.kif 16234-16234	GroupOfPeople est une sous-classe de groupe
(subclass Organization Group)	Merge.kif 16604-16604	Organisation est une sous-classe de groupe
(subclass FileSystem Group)	engineering.kif 1335-1335	FileSystem est une sous-classe de groupe