Sigma KB Term Intersection

(=> (instance ?GRAPH Graph) (subclass (MinimalCutSetFn ?GRAPH) (CutSetFn ?GRAPH)))	Merge.kif 6087-6089	Grafo è un' istanza di Grafo l' insieme di cammini minimi che partiziona Grafoin due separati grafi è una sottoclasse di l' insieme di cammini che partiziona Grafo in due grafi separati
(subclass Graph Proposition)	Merge.kif 5622-5622	Grafo è una sottoclasse di Proposizione
(subclass DirectedGraph Graph)	Merge.kif 5668-5668	GrafoDiretto è una sottoclasse di Grafo
(subclass MultiGraph Graph)	Merge.kif 5771-5771	MultiGrafo è una sottoclasse di Grafo
(subclass PseudoGraph Graph)	Merge.kif 5801-5801	PseudoGrafo è una sottoclasse di Grafo