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 2824-2826 | |
(domain routeEnd 1 Region) | Transportation.kif 2822-2822 | Il numero 1 argomenti di routeEnd è un istanza di Regione |
(domain routeEnd 2 TransitSystem) | Transportation.kif 2823-2823 | Il numero 2 argomenti di routeEnd è un istanza di TransitSystem |
(instance routeEnd BinaryPredicate) | Transportation.kif 2821-2821 | routeEnd è un' istanza di PredicatoBinario |
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 65931-65931 |
antecedent |