(domain GraphPathFn 1 GraphNode) |
Merge.kif 5619-5619 |
The number 1 argument of graph path is an instance of graph node |
(domain GraphPathFn 2 GraphNode) |
Merge.kif 5620-5620 |
The number 2 argument of graph path is an instance of graph node |
(domain MaximalWeightedPathFn 1 GraphNode) |
Merge.kif 5594-5594 |
The number 1 argument of maximal weighted path is an instance of graph node |
(domain MaximalWeightedPathFn 2 GraphNode) |
Merge.kif 5595-5595 |
The number 2 argument of maximal weighted path is an instance of graph node |
(domain MinimalWeightedPathFn 1 GraphNode) |
Merge.kif 5569-5569 |
The number 1 argument of minimal weighted path is an instance of graph node |
(domain MinimalWeightedPathFn 2 GraphNode) |
Merge.kif 5570-5570 |
The number 2 argument of minimal weighted path is an instance of graph node |
(domain links 1 GraphNode) |
Merge.kif 5430-5430 |
The number 1 argument of links is an instance of graph node |
(domain links 2 GraphNode) |
Merge.kif 5431-5431 |
The number 2 argument of links is an instance of graph node |