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

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

(=>
(and
(equal
(PathWeightFn ?PATH) ?SUM)
(graphPart ?ARC1 ?PATH)
(graphPart ?ARC2 ?PATH)
(arcWeight ?ARC1 ?NUMBER1)
(arcWeight ?ARC2 ?NUMBER2)
(forall (?ARC3)
(=>
(graphPart ?ARC3 ?PATH)
(or
(equal ?ARC3 ?ARC1)
(equal ?ARC3 ?ARC2)))))
(equal
(PathWeightFn ?PATH)
(AdditionFn ?NUMBER1 ?NUMBER2))) 
Merge.kif 56735686 

(=>
(and
(equal
(PathWeightFn ?PATH) ?SUM)
(subGraph ?SUBPATH ?PATH)
(graphPart ?ARC1 ?PATH)
(arcWeight ?ARC1 ?NUMBER1)
(forall (?ARC2)
(=>
(graphPart ?ARC2 ?PATH)
(or
(graphPart ?ARC2 ?SUBPATH)
(equal ?ARC2 ?ARC1)))))
(equal ?SUM
(AdditionFn
(PathWeightFn ?SUBPATH) ?NUMBER1))) 
Merge.kif 56595671 
