(domain GraphPathFn 1 GraphNode) |
Merge.kif 6021-6021 |
The number 1 argument of graph path is an instance of graph node |
(domain GraphPathFn 2 GraphNode) |
Merge.kif 6022-6022 |
The number 2 argument of graph path is an instance of graph node |
(domain MaximalWeightedPathFn 1 GraphNode) |
Merge.kif 5999-5999 |
The number 1 argument of maximal weighted path is an instance of graph node |
(domain MaximalWeightedPathFn 2 GraphNode) |
Merge.kif 6000-6000 |
The number 2 argument of maximal weighted path is an instance of graph node |
(domain MinimalWeightedPathFn 1 GraphNode) |
Merge.kif 5977-5977 |
The number 1 argument of minimal weighted path is an instance of graph node |
(domain MinimalWeightedPathFn 2 GraphNode) |
Merge.kif 5978-5978 |
The number 2 argument of minimal weighted path is an instance of graph node |
(domain links 1 GraphNode) |
Merge.kif 5840-5840 |
The number 1 argument of links is an instance of graph node |
(domain links 2 GraphNode) |
Merge.kif 5841-5841 |
The number 2 argument of links is an instance of graph node |