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 2763-2765 | |
(domain routeStart 1 Region) | Transportation.kif 2761-2761 | The number 1 argument of routeStart is an instance of region |
(domain routeStart 2 TransitSystem) | Transportation.kif 2762-2762 | The number 2 argument of routeStart is an instance of transit system |
(instance routeStart BinaryPredicate) | Transportation.kif 2760-2760 | routeStart is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage routeStart "%1 是 %2 的 start ") | domainEnglishFormat.kif 4467-4467 | |
(format ChineseTraditionalLanguage routeStart "%1 是 %2 的 start ") | domainEnglishFormat.kif 4466-4466 | |
(format EnglishLanguage routeStart "%1 is the start of %2") | domainEnglishFormat.kif 4465-4465 |
antecedent |
![]() |
![]() |
![]() |