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))	Mid-level-ontology.kif 21766-21780	Oggetto è un' istanza di Composto Composto è una sottoclasse di Composto Oggetto Oggetto è un' istanza di Composto Oggetto è una parte di Oggetto molecularRatio SostanzaElementare, NumeroIntero and Composto InsiemeConcreto è un' istanza di Gruppo Oggetto è un membro di InsiemeConcreto Oggetto è una parte di Oggetto Oggetto è un' istanza di SostanzaElementare memberCount InsiemeConcreto and NumeroIntero
(subclass Group Collection)	Merge.kif 16294-16294	Gruppo è una sottoclasse di InsiemeConcreto
(subclass Group AutonomousAgent)	Merge.kif 16295-16295	Gruppo è una sottoclasse di AutonomousAgent
(subclass GroupOfAnimals Group)	Mid-level-ontology.kif 7503-7503	GroupOfAnimals è una sottoclasse di Gruppo
(subclass GroupOfPeople Group)	Merge.kif 16305-16305	GroupOfPeople è una sottoclasse di Gruppo
(subclass Organization Group)	Merge.kif 16675-16675	Organizzazione è una sottoclasse di Gruppo
(subclass FileSystem Group)	engineering.kif 1335-1335	FileSystem è una sottoclasse di Gruppo