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

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

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

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

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