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 | Die Zahl 1 Argument von routeEnd ist ein fall von Region %n{nicht} |
(domain routeEnd 2 TransitSystem) | Transportation.kif 2778-2778 | Die Zahl 2 Argument von routeEnd ist ein fall von TransitSystem %n{nicht} |
(instance routeEnd BinaryPredicate) | Transportation.kif 2776-2776 | routeEnd ist ein fall von BinaryPredicate %n{nicht} |
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 |