Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1778-1792	Objeto e' uma instancia de Substancia Composta Substancia Composta e' uma sub-classe de Substancia Composta Objeto Objeto e' uma instancia de Substancia Composta Objeto e' uma &parte de Objeto molecularRatio Substancia Elementar, Numero Inteiro and Substancia Composta Colecao e' uma instancia de Grupo Objeto e' membro de Colecao Objeto e' uma &parte de Objeto Objeto e' uma instancia de Substancia Elementar memberCount Colecao and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16245-16245	Grupo e' uma sub-classe de Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16246-16246	Grupo e' uma sub-classe de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7475-7475	GroupOfAnimals e' uma sub-classe de Grupo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16256-16256	GroupOfPeople e' uma sub-classe de Grupo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16626-16626	Organizacao e' uma sub-classe de Grupo
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1335-1335	FileSystem e' uma sub-classe de Grupo