Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15188-15209	Classe e' uma sub-classe de Tecido Classe e' uma sub-classe de Tecido Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Objeto e' uma instancia de Humano Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Classe e' igual a Classe Classe e' uma sub-classe de Classe Classe e' uma sub-classe de Classe Objeto e' Adjacent em relacao a Objeto o argumento Entidade Entidade e' uma instancia de ConnectiveTissue Entidade esta' entre Objeto e Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15171-15171	ConnectiveTissue e' uma sub-classe de Tecido
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15211-15211	BoneTissue e' uma sub-classe de ConnectiveTissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15257-15257	Tecido Gorduroso e' uma sub-classe de ConnectiveTissue
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 255-255	Cartilage e' uma sub-classe de ConnectiveTissue