(domain GraphPathFn 1 GraphNode) |
Merge.kif 5715-5715 |
The number 1 argument of graph path is an instance of graph node |
(domain GraphPathFn 2 GraphNode) |
Merge.kif 5716-5716 |
The number 2 argument of graph path is an instance of graph node |
(domain MaximalWeightedPathFn 1 GraphNode) |
Merge.kif 5690-5690 |
The number 1 argument of maximal weighted path is an instance of graph node |
(domain MaximalWeightedPathFn 2 GraphNode) |
Merge.kif 5691-5691 |
The number 2 argument of maximal weighted path is an instance of graph node |
(domain MinimalWeightedPathFn 1 GraphNode) |
Merge.kif 5665-5665 |
The number 1 argument of minimal weighted path is an instance of graph node |
(domain MinimalWeightedPathFn 2 GraphNode) |
Merge.kif 5666-5666 |
The number 2 argument of minimal weighted path is an instance of graph node |
(domain links 1 GraphNode) |
Merge.kif 5526-5526 |
The number 1 argument of links is an instance of graph node |
(domain links 2 GraphNode) |
Merge.kif 5527-5527 |
The number 2 argument of links is an instance of graph node |