( ! [V__PA,V__G,V__AN,V__PN,V__M,V__N,V__AA] :
((s__instance(V__PA,s__Object) &
s__instance(V__G,s__Graph) &
s__instance(V__PN,s__Physical) &
s__instance(V__M,s__UnitOfMeasure) &
s__instance(V__N,s__RealNumber))
=>
(s__graphMeasure(V__G,V__M)
&
s__instance(V__AN,s__GraphNode) &
s__graphPart(V__AN,V__G)
&
s__graphPart(V__AA,V__G)
&
s__instance(V__AA,s__GraphArc) &
s__abstractCounterpart(V__AN,V__PN)
&
s__abstractCounterpart(V__AA,V__PA)
&
s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)))
=>
s__measure(V__PA,s__MeasureFn(V__N,V__M))
)
)

Merge.kif 58165826 

( ! [V__NODE2,V__NODE1,V__GRAPH] :
((s__instance(V__GRAPH,s__Graph) &
s__instance(V__NODE1,s__GraphNode) &
s__instance(V__NODE2,s__GraphNode) &
s__graphPart(V__NODE1,V__GRAPH)
&
s__graphPart(V__NODE2,V__GRAPH)
&
~((V__NODE1 = V__NODE2)))
=>
( ? [V__ARC, V__PATH] :
((s__instance(V__ARC,s__GraphArc) &
(s__links(V__NODE1,V__NODE2,V__ARC)

(s__subGraph(V__PATH,V__GRAPH)
&
s__instance(V__PATH,s__GraphPath) &
(((s__BeginNodeFn(V__PATH)
= V__NODE1)
&
(s__EndNodeFn(V__PATH)
= V__NODE2))

((s__BeginNodeFn(V__PATH)
= V__NODE2)
&
(s__EndNodeFn(V__PATH)
= V__NODE1))))))))
)
)

Merge.kif 53035323 

( ! [V__NODE] :
(s__instance(V__NODE,s__GraphNode) =>
( ? [V__OTHER, V__ARC] :
((s__instance(V__OTHER,s__GraphNode) &
s__instance(V__ARC,s__GraphArc) &
s__links(V__NODE,V__OTHER,V__ARC))))
)
)

Merge.kif 54845487 
