Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6088-6090	Grafo e' uma instancia de Grafo o conjunto minimal de caminhos que dividem Grafo em dois grafos distintos e' uma sub-classe de o conjunto de caminhos que dividem Grafo em dois grafos distintos
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5623-5623	Grafo e' uma sub-classe de Proposicao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5669-5669	Grafo Orientado e' uma sub-classe de Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5772-5772	Multi-grafo e' uma sub-classe de Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5802-5802	Pseudo-grafo e' uma sub-classe de Grafo