(domain GraphPathFn 1 GraphNode) |
Merge.kif 5705-5705 |
The number 1 argument of graph path is an instance of graph node |
(domain GraphPathFn 2 GraphNode) |
Merge.kif 5706-5706 |
The number 2 argument of graph path is an instance of graph node |
(domain MaximalWeightedPathFn 1 GraphNode) |
Merge.kif 5680-5680 |
The number 1 argument of maximal weighted path is an instance of graph node |
(domain MaximalWeightedPathFn 2 GraphNode) |
Merge.kif 5681-5681 |
The number 2 argument of maximal weighted path is an instance of graph node |
(domain MinimalWeightedPathFn 1 GraphNode) |
Merge.kif 5655-5655 |
The number 1 argument of minimal weighted path is an instance of graph node |
(domain MinimalWeightedPathFn 2 GraphNode) |
Merge.kif 5656-5656 |
The number 2 argument of minimal weighted path is an instance of graph node |
(domain links 1 GraphNode) |
Merge.kif 5516-5516 |
The number 1 argument of links is an instance of graph node |
(domain links 2 GraphNode) |
Merge.kif 5517-5517 |
The number 2 argument of links is an instance of graph node |