distanceOnPath |
appearance as argument number 1 |
![]() |
(documentation distanceOnPath EnglishLanguage "(distanceOnPath ?DIST ?PATH) means that for a given path (which is a pathInSystem) that the distance of the route is the measurement ?DIST.") | Mid-level-ontology.kif 23736-23738 | |
(domain distanceOnPath 1 ConstantQuantity) | Mid-level-ontology.kif 23739-23739 | |
(domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 23740-23740 | |
(instance distanceOnPath BinaryPredicate) | Mid-level-ontology.kif 23735-23735 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage distanceOnPath "%2 的 distance 是 %1 ") | domainEnglishFormat.kif 3283-3283 | |
(format ChineseTraditionalLanguage distanceOnPath "%2 的 distance 是 %1 ") | domainEnglishFormat.kif 3282-3282 | |
(format EnglishLanguage distanceOnPath "the distance of %2 is %1") | domainEnglishFormat.kif 3281-3281 |
antecedent |
![]() |
(=> (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 2813-2826 | |
(=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 13.1)) |
Sports.kif 260-267 | |
(=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 26.2)) |
Sports.kif 246-253 | |
(=> (distanceOnPath ?DIST ?PATH) (exists (?GP) (and (instance ?GP GraphPath) (abstractCounterpart ?GP ?PATH)))) |
Transportation.kif 2806-2811 |
![]() |
![]() |