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

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

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

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

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