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 2789-2791 | |
(domain routeStart 1 Region) | Transportation.kif 2787-2787 | O argumento numero 1 de routeStart e' uma instancia de Regiao |
(domain routeStart 2 TransitSystem) | Transportation.kif 2788-2788 | O argumento numero 2 de routeStart e' uma instancia de TransitSystem |
(instance routeStart BinaryPredicate) | Transportation.kif 2786-2786 | routeStart e' uma instancia de Predicado Binario |
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 65932-65932 |
antecedent |