Sigma KB Term Intersection

(=> (instance ?GRAPH Graph) (subclass (MinimalCutSetFn ?GRAPH) (CutSetFn ?GRAPH)))	Merge.kif 6087-6089	Wenn Graph ist ein fall von Graph %n{nicht}, dann die menge von minimalen Pfaden die Graph in zwei verschiedene Graphen schnitten ist eine teilkategorie von die menge von Pfaden die Graph in zwei verschiedene Graphen schnitten
(subclass Graph Proposition)	Merge.kif 5622-5622	Graph ist eine teilkategorie von Proposition
(subclass DirectedGraph Graph)	Merge.kif 5668-5668	DirectedGraph ist eine teilkategorie von Graph
(subclass MultiGraph Graph)	Merge.kif 5771-5771	MultiGraph ist eine teilkategorie von Graph
(subclass PseudoGraph Graph)	Merge.kif 5801-5801	PseudoGraph ist eine teilkategorie von Graph