(=>
(and
(instance ?TS TransitSystem)
(instance ?T Transitway)
(abstractCounterpart ?G ?TS)
(systemPart ?T ?TS))
(exists (?GA)
(and
(instance ?GA GraphArc)
(abstractCounterpart ?GA ?T)
(graphPart ?GA ?G)))) 
Transportation.kif 28462856 

(=>
(and
(instance ?TS TransitSystem)
(instance ?TJ TransitwayJunction)
(abstractCounterpart ?G ?TS)
(systemPart ?TJ ?TS))
(exists (?GN)
(and
(instance ?GN GraphNode)
(abstractCounterpart ?GN ?TJ)
(graphPart ?GN ?G)))) 
Transportation.kif 28582868 

(=>
(and
(subGraph ?GRAPH1 ?GRAPH2)
(graphPart ?ELEMENT ?GRAPH1))
(graphPart ?ELEMENT ?GRAPH2)) 
Merge.kif 59055909 

(=>
(graphMeasure ?G ?M)
(forall (?AC)
(and
(graphPart ?AC ?G)
(exists (?PC)
(abstractCounterpart ?AC ?PC))))) 
Merge.kif 61576163 

(=>
(instance ?GRAPH Graph)
(exists (?NODE1 ?NODE2 ?NODE3 ?ARC1 ?ARC2)
(and
(graphPart ?NODE1 ?GRAPH)
(graphPart ?NODE2 ?GRAPH)
(graphPart ?NODE3 ?GRAPH)
(graphPart ?ARC1 ?GRAPH)
(graphPart ?ARC2 ?GRAPH)
(links ?NODE1 ?NODE2 ?ARC1)
(links ?NODE2 ?NODE3 ?ARC2)
(not
(equal ?NODE1 ?NODE2))
(not
(equal ?NODE2 ?NODE3))
(not
(equal ?NODE1 ?NODE3))
(not
(equal ?ARC1 ?ARC2))))) 
Merge.kif 56525666 

(=>
(instance ?GRAPH MultiGraph)
(exists (?ARC1 ?ARC2 ?NODE1 ?NODE2)
(and
(graphPart ?ARC1 ?GRAPH)
(graphPart ?ARC2 ?GRAPH)
(graphPart ?NODE1 ?GRAPH)
(graphPart ?NODE2 ?GRAPH)
(links ?NODE1 ?NODE2 ?ARC1)
(links ?NODE1 ?NODE2 ?ARC2)
(not
(equal ?ARC1 ?ARC2))))) 
Merge.kif 57775788 

(=>
(instance ?GRAPH PseudoGraph)
(exists (?LOOP)
(and
(instance ?LOOP GraphLoop)
(graphPart ?LOOP ?GRAPH)))) 
Merge.kif 58065811 

(=>
(instance ?GRAPH Tree)
(not
(exists (?ARC1 ?ARC2 ?NODE)
(and
(graphPart ?ARC1 ?GRAPH)
(graphPart ?ARC2 ?GRAPH)
(graphPart ?NODE ?GRAPH)
(equal
(TerminalNodeFn ?ARC1) ?NODE)
(equal
(TerminalNodeFn ?ARC2) ?NODE)
(not
(equal ?ARC1 ?ARC2)))))) 
Merge.kif 57065716 

(=>
(instance ?GRAPH Tree)
(not
(exists (?LOOP)
(and
(instance ?LOOP GraphCircuit)
(graphPart ?LOOP ?GRAPH))))) 
Merge.kif 56985704 

(=>
(instance ?GRAPH Tree)
(not
(exists (?LOOP)
(and
(instance ?LOOP GraphLoop)
(graphPart ?LOOP ?GRAPH))))) 
Merge.kif 56905696 

(=>
(instance ?PART GraphElement)
(exists (?GRAPH)
(and
(instance ?GRAPH Graph)
(graphPart ?PART ?GRAPH)))) 
Merge.kif 58255830 
