Sigma KB Term Intersection

(=> (instance ?GRAPH Graph) (subclass (MinimalCutSetFn ?GRAPH) (CutSetFn ?GRAPH)))	Merge.kif 6087-6089	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
(subclass Graph Proposition)	Merge.kif 5622-5622	Grafo e' uma sub-classe de Proposicao
(subclass DirectedGraph Graph)	Merge.kif 5668-5668	Grafo Orientado e' uma sub-classe de Grafo
(subclass MultiGraph Graph)	Merge.kif 5771-5771	Multi-grafo e' uma sub-classe de Grafo
(subclass PseudoGraph Graph)	Merge.kif 5801-5801	Pseudo-grafo e' uma sub-classe de Grafo