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

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

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

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

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