(=>
(and
(equal
(MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
(equal
(PathWeightFn ?PATH) ?NUMBER1))
(forall (?PATH2)
(=>
(and
(instance ?PATH2
(GraphPathFn ?NODE1 ?NODE2))
(equal
(PathWeightFn ?PATH2) ?NUMBER2))
(lessThanOrEqualTo ?NUMBER2 ?NUMBER1)))) 
Merge.kif 61696178 

(=>
(and
(equal
(MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
(equal
(PathWeightFn ?PATH) ?NUMBER1))
(forall (?PATH2)
(=>
(and
(instance ?PATH2
(GraphPathFn ?NODE1 ?NODE2))
(equal
(PathWeightFn ?PATH2) ?NUMBER2))
(greaterThanOrEqualTo ?NUMBER2 ?NUMBER1)))) 
Merge.kif 61436152 

(=>
(and
(graphPart ?PATH ?GRAPH)
(not
(instance ?GRAPH DirectedGraph)))
(<=>
(instance ?PATH
(GraphPathFn ?NODE1 ?NODE2))
(instance ?PATH
(GraphPathFn ?NODE2 ?NODE1)))) 
Merge.kif 61916197 

(=>
(equal
(MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
(instance ?PATH
(GraphPathFn ?NODE1 ?NODE2))) 
Merge.kif 61656167 

(=>
(equal
(MinimalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
(instance ?PATH
(GraphPathFn ?NODE1 ?NODE2))) 
Merge.kif 61396141 
