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 24358-24360 | |
(domain distanceOnPath 1 ConstantQuantity) | Mid-level-ontology.kif 24361-24361 | |
(domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 24362-24362 | |
(instance distanceOnPath BinaryPredicate) | Mid-level-ontology.kif 24357-24357 |
appearance as argument number 2 |
(format ChineseLanguage distanceOnPath "%2 的 distance 是 %1 ") | domainEnglishFormat.kif 3278-3278 | |
(format ChineseTraditionalLanguage distanceOnPath "%2 的 distance 是 %1 ") | domainEnglishFormat.kif 3277-3277 | |
(format EnglishLanguage distanceOnPath "the distance of %2 is %1") | domainEnglishFormat.kif 3276-3276 | |
(termFormat EnglishLanguage distanceOnPath "distance on path") | domainEnglishFormat.kif 65814-65814 |
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 2806-2819 | |
(=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 13.1)) |
Sports.kif 295-302 | |
(=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 26.2)) |
Sports.kif 281-288 | |
(=> (distanceOnPath ?DIST ?PATH) (exists (?GP) (and (instance ?GP GraphPath) (abstractCounterpart ?GP ?PATH)))) |
Transportation.kif 2799-2804 |