(domain GraphPathFn 1 GraphNode) |
Merge.kif 5966-5966 |
The number 1 argument of graph path is an instance of graph node |
(domain GraphPathFn 2 GraphNode) |
Merge.kif 5967-5967 |
The number 2 argument of graph path is an instance of graph node |
(domain MaximalWeightedPathFn 1 GraphNode) |
Merge.kif 5941-5941 |
The number 1 argument of maximal weighted path is an instance of graph node |
(domain MaximalWeightedPathFn 2 GraphNode) |
Merge.kif 5942-5942 |
The number 2 argument of maximal weighted path is an instance of graph node |
(domain MinimalWeightedPathFn 1 GraphNode) |
Merge.kif 5916-5916 |
The number 1 argument of minimal weighted path is an instance of graph node |
(domain MinimalWeightedPathFn 2 GraphNode) |
Merge.kif 5917-5917 |
The number 2 argument of minimal weighted path is an instance of graph node |
(domain links 1 GraphNode) |
Merge.kif 5779-5779 |
The number 1 argument of links is an instance of graph node |
(domain links 2 GraphNode) |
Merge.kif 5780-5780 |
The number 2 argument of links is an instance of graph node |