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 3377-3379 | |
(domain routeEnd 1 Region) | Transportation.kif 3375-3375 | routeEnd の数値 1 引数は 地域 の instance では |
(domain routeEnd 2 TransitSystem) | Transportation.kif 3376-3376 | routeEnd の数値 2 引数は TransitSystem の instance では |
(instance routeEnd BinaryPredicate) | Transportation.kif 3374-3374 | routeEnd は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage routeEnd "%1 是 %2 的 end ") | domainEnglishFormat.kif 4458-4458 | |
(format ChineseTraditionalLanguage routeEnd "%1 是 %2 的 end ") | domainEnglishFormat.kif 4457-4457 | |
(format EnglishLanguage routeEnd "%1 is the end of %2") | domainEnglishFormat.kif 4456-4456 | |
(termFormat EnglishLanguage routeEnd "route end") | domainEnglishFormat.kif 65954-65954 |
antecedent |
![]() |
![]() |
![]() |