TreeView Knowledge Base Browser

appearance as argument number 1

(documentation routeBetween EnglishLanguage "(routeBetween ?ROUTE ?FROM ?TO) means that the Transitway ?ROUTE is a route between the place ?FROM and the place ?TO.")	Transportation.kif 2957-2959
(domain routeBetween 1 Transitway)	Transportation.kif 2954-2954	Die Zahl 1 Argument von routeBetween ist ein fall von Transitway %n{nicht}
(domain routeBetween 2 Region)	Transportation.kif 2955-2955	Die Zahl 2 Argument von routeBetween ist ein fall von Region %n{nicht}
(domain routeBetween 3 Region)	Transportation.kif 2956-2956	Die Zahl 3 Argument von routeBetween ist ein fall von Region %n{nicht}
(instance routeBetween TernaryPredicate)	Transportation.kif 2953-2953	routeBetween ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage routeBetween "%1 %n{不} route 对于 %3 在 %2 之间")	domainEnglishFormat.kif 2183-2183
(format ChineseTraditionalLanguage routeBetween "%1 %n{不} route 對於 %3 在 %2 之間")	domainEnglishFormat.kif 2182-2182
(format EnglishLanguage routeBetween "%1 %n{doesn't} route between %2 for %3")	domainEnglishFormat.kif 2181-2181
(termFormat ChineseLanguage routeBetween "之间的路线")	domainEnglishFormat.kif 50536-50536
(termFormat ChineseTraditionalLanguage routeBetween "之間的路線")	domainEnglishFormat.kif 50535-50535
(termFormat EnglishLanguage routeBetween "route between")	domainEnglishFormat.kif 50534-50534