(=>
(and
(graphMeasure ?G ?M)
(instance ?AN GraphNode)
(instance ?AA GraphArc)
(abstractCounterpart ?AN ?PN)
(abstractCounterpart ?AA ?PA)
(arcWeight ?AA
(MeasureFn ?N ?M)))
(measure ?PA
(MeasureFn ?N ?M))) 
Merge.kif 88518859 

(=>
(and
(instance ?GRAPH DirectedGraph)
(instance ?ARC GraphArc)
(graphPart ?ARC ?GRAPH))
(exists (?NODE1 ?NODE2)
(and
(equal
(InitialNodeFn ?ARC) ?NODE1)
(equal
(TerminalNodeFn ?ARC) ?NODE2)))) 
Merge.kif 81898197 

(=>
(and
(instance ?GRAPH GraphPath)
(instance ?ARC GraphArc)
(graphPart ?ARC ?GRAPH))
(=>
(equal
(InitialNodeFn ?ARC) ?NODE)
(not
(exists (?OTHER)
(and
(equal
(InitialNodeFn ?OTHER) ?NODE)
(not
(equal ?OTHER ?ARC))))))) 
Merge.kif 82548264 

(=>
(and
(instance ?GRAPH GraphPath)
(instance ?ARC GraphArc)
(graphPart ?ARC ?GRAPH))
(=>
(equal
(TerminalNodeFn ?ARC) ?NODE)
(not
(exists (?OTHER)
(and
(equal
(TerminalNodeFn ?OTHER) ?NODE)
(not
(equal ?OTHER ?ARC))))))) 
Merge.kif 82668276 

(=>
(instance ?ARC GraphArc)
(exists (?NODE1 ?NODE2)
(links ?NODE1 ?NODE2 ?ARC))) 
Merge.kif 83858388 
