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 2823-2825
(domain routeBetween 1 Transitway)	Transportation.kif 2820-2820
(domain routeBetween 2 Region)	Transportation.kif 2821-2821
(domain routeBetween 3 Region)	Transportation.kif 2822-2822
(instance routeBetween TernaryPredicate)	Transportation.kif 2819-2819

appearance as argument number 2

(format EnglishLanguage routeBetween "%1 %n{doesn't} route between %2 for %3")	domainEnglishFormat.kif 554-554
(termFormat EnglishLanguage routeBetween "route between")	domainEnglishFormat.kif 8846-8846