(=>
(and
(distanceOnPath ?DIST ?PATH)
(pathInSystem ?PATH ?SYS)
(routeStart ?START ?PATH)
(routeEnd ?END ?PATH)
(abstractCounterpart ?GRAPH ?SYS))
(exists (?S ?BN ?EN)
(and
(subGraph ?S ?GRAPH)
(equal ?BN
(BeginNodeFn ?GRAPH))
(equal ?EN
(EndNodeFn ?GRAPH))
(abstractCounterpart ?BN ?START)
(abstractCounterpart ?EN ?END)))) 
Transportation.kif 28062819 

(=>
(and
(instance ?M HalfMarathon)
(agent ?M ?H)
(path ?M ?P)
(distanceOnPath
(MeasureFn ?N Mile) ?P))
(equal ?N 13.1)) 
Sports.kif 295302 

(=>
(and
(instance ?M Marathon)
(agent ?M ?H)
(path ?M ?P)
(distanceOnPath
(MeasureFn ?N Mile) ?P))
(equal ?N 26.2)) 
Sports.kif 281288 

(=>
(distanceOnPath ?DIST ?PATH)
(exists (?GP)
(and
(instance ?GP GraphPath)
(abstractCounterpart ?GP ?PATH)))) 
Transportation.kif 27992804 
