routeStart |
appearance as argument number 1 |
(documentation routeStart EnglishLanguage "(routeStart ?REGION ?SYSTEM) means that within the given ?SYSTEM the given ?REGION is connected to only one other Region.") | Transportation.kif 2756-2758 | |
(domain routeStart 1 Region) | Transportation.kif 2754-2754 | Le nombre 1 argument de routeStart est une instance de r�gion |
(domain routeStart 2 TransitSystem) | Transportation.kif 2755-2755 | Le nombre 2 argument de routeStart est une instance de TransitSystem |
(instance routeStart BinaryPredicate) | Transportation.kif 2753-2753 | routeStart est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format ChineseLanguage routeStart "%1 是 %2 的 start ") | domainEnglishFormat.kif 4458-4458 | |
(format ChineseTraditionalLanguage routeStart "%1 是 %2 的 start ") | domainEnglishFormat.kif 4457-4457 | |
(format EnglishLanguage routeStart "%1 is the start of %2") | domainEnglishFormat.kif 4456-4456 | |
(termFormat EnglishLanguage routeStart "route start") | domainEnglishFormat.kif 65930-65930 |
antecedent |