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	Le nombre 1 argument de routeBetween est une instance de Transitway
(domain routeBetween 2 Region)	Transportation.kif 2955-2955	Le nombre 2 argument de routeBetween est une instance de r�gion
(domain routeBetween 3 Region)	Transportation.kif 2956-2956	Le nombre 3 argument de routeBetween est une instance de r�gion
(instance routeBetween TernaryPredicate)	Transportation.kif 2953-2953	routeBetween est une instance de pr�dicat ternaire

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