Sigma KB Term Intersection

(=> (instance ?GRAPH Graph) (subclass (MinimalCutSetFn ?GRAPH) (CutSetFn ?GRAPH)))	Merge.kif 6087-6089	Graph est une instance de graph l' ensemble minimal de chemins qui partitionnent graph en deux graph s�par� est une sous-classe de l' ensemble de chemins qui partitionnent graph en deux graph s�par�
(subclass Graph Proposition)	Merge.kif 5622-5622	Graph est une sous-classe de proposition
(subclass DirectedGraph Graph)	Merge.kif 5668-5668	Graph dirig�e est une sous-classe de graph
(subclass MultiGraph Graph)	Merge.kif 5771-5771	Multi graph est une sous-classe de graph
(subclass PseudoGraph Graph)	Merge.kif 5801-5801	Pseudo graph est une sous-classe de graph