(=> (instance ?GRAPH Graph) (subclass (MinimalCutSetFn ?GRAPH) (CutSetFn ?GRAPH))) |
Merge.kif 6088-6090 | |
(subclass Graph Proposition) | Merge.kif 5623-5623 | Graph is a subclass of proposition |
(subclass DirectedGraph Graph) | Merge.kif 5669-5669 | Directed graph is a subclass of graph |
(subclass MultiGraph Graph) | Merge.kif 5772-5772 | Multi graph is a subclass of graph |
(subclass PseudoGraph Graph) | Merge.kif 5802-5802 | Pseudo graph is a subclass of graph |