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 24416-24418 | |
(domain distanceOnPath 1 ConstantQuantity) | Mid-level-ontology.kif 24419-24419 | |
(domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 24420-24420 | |
(instance distanceOnPath BinaryPredicate) | Mid-level-ontology.kif 24415-24415 |
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 65816-65816 |
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 2839-2852 | |
(=> (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 2832-2837 |