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 | Le nombre 1 argument de routeEnd est une instance de r�gion |
(domain routeEnd 2 TransitSystem) | Transportation.kif 2778-2778 | Le nombre 2 argument de routeEnd est une instance de TransitSystem |
(instance routeEnd BinaryPredicate) | Transportation.kif 2776-2776 | routeEnd est une instance de pr�dicat binaire |
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 |