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 2812-2814 | |
(domain routeEnd 1 Region) | Transportation.kif 2810-2810 | The number 1 argument of route end is an instance of region |
(domain routeEnd 2 TransitSystem) | Transportation.kif 2811-2811 | The number 2 argument of route end is an instance of transit system |
(instance routeEnd BinaryPredicate) | Transportation.kif 2809-2809 | route end is an instance of binary predicate |
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 65931-65931 |
antecedent |