(=> (instance ?GRAPH Graph) (subclass (MinimalCutSetFn ?GRAPH) (CutSetFn ?GRAPH))) |
Merge.kif 6088-6090 | |
(subclass Graph Proposition) | Merge.kif 5623-5623 | |
(subclass DirectedGraph Graph) | Merge.kif 5669-5669 | |
(subclass MultiGraph Graph) | Merge.kif 5772-5772 | |
(subclass PseudoGraph Graph) | Merge.kif 5802-5802 |