(=>
(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 56925701 

(=>
(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 56675676 

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

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

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