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 2801-2803 | |
(domain routeStart 1 Region) | Transportation.kif 2799-2799 | Il numero 1 argomenti di routeStart è un istanza di Regione |
(domain routeStart 2 TransitSystem) | Transportation.kif 2800-2800 | Il numero 2 argomenti di routeStart è un istanza di TransitSystem |
(instance routeStart BinaryPredicate) | Transportation.kif 2798-2798 | routeStart è un' istanza di PredicatoBinario |
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 |