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

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

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

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

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

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

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

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

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

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

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