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

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

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

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

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