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	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 16245-16245	Gruppo è una sottoclasse di InsiemeConcreto
(subclass Group AutonomousAgent)	Merge.kif 16246-16246	Gruppo è una sottoclasse di AutonomousAgent
(subclass GroupOfAnimals Group)	Mid-level-ontology.kif 7475-7475	GroupOfAnimals è una sottoclasse di Gruppo
(subclass GroupOfPeople Group)	Merge.kif 16256-16256	GroupOfPeople è una sottoclasse di Gruppo
(subclass Organization Group)	Merge.kif 16626-16626	Organizzazione è una sottoclasse di Gruppo
(subclass FileSystem Group)	engineering.kif 1335-1335	FileSystem è una sottoclasse di Gruppo