routeEnd |
appearance as argument number 1 |
(documentation routeEnd EnglishLanguage "(routeEnd ?REGION ?SYSTEM) means that within the given ?SYSTEM the given ?REGION is connected to only one other Region.") | Transportation.kif 2779-2781 | |
(domain routeEnd 1 Region) | Transportation.kif 2777-2777 | 域 routeEnd, 1 and Region |
(domain routeEnd 2 TransitSystem) | Transportation.kif 2778-2778 | 域 routeEnd, 2 and 運輸系統 |
(instance routeEnd BinaryPredicate) | Transportation.kif 2776-2776 | 例 routeEnd and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage routeEnd "%1 是 %2 的 end ") | domainEnglishFormat.kif 4454-4454 | |
(format ChineseTraditionalLanguage routeEnd "%1 是 %2 的 end ") | domainEnglishFormat.kif 4453-4453 | |
(format EnglishLanguage routeEnd "%1 is the end of %2") | domainEnglishFormat.kif 4452-4452 | |
(termFormat EnglishLanguage routeEnd "route end") | domainEnglishFormat.kif 65929-65929 |
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 |
|
(=> (routeEnd ?R ?TS) (exists (?T) (and (instance ?T Transitway) (connected ?R ?T) (systemPart ?T ?TS) (not (exists (?T2) (and (instance ?T2 Transitway) (connected ?R ?T2) (systemPart ?T2 ?TS) (not (equal ?T ?T2)))))))) |
Transportation.kif 2783-2797 |