routeBetween - Sigma 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 3640-3642
(domain routeBetween 1 Transitway)	Transportation.kif 3637-3637
(domain routeBetween 2 Region)	Transportation.kif 3638-3638
(domain routeBetween 3 Region)	Transportation.kif 3639-3639
(instance routeBetween TernaryPredicate)	Transportation.kif 3636-3636

appearance as argument number 2

(format ChineseLanguage routeBetween "%1 %n{不} route 对于 %3 在 %2 之间")	domainEnglishFormat.kif 2187-2187
(format ChineseTraditionalLanguage routeBetween "%1 %n{不} route 對於 %3 在 %2 之間")	domainEnglishFormat.kif 2186-2186
(format EnglishLanguage routeBetween "%1 %n{doesn't} route between %2 for %3")	domainEnglishFormat.kif 2185-2185
(termFormat ChineseLanguage routeBetween "之间的路线")	domainEnglishFormat.kif 50567-50567
(termFormat ChineseTraditionalLanguage routeBetween "之間的路線")	domainEnglishFormat.kif 50566-50566
(termFormat EnglishLanguage routeBetween "route between")	domainEnglishFormat.kif 50565-50565

consequent

(=>
    (instance ?J TransitwayJunction)
    (exists (?W1 ?A ?B ?W2 ?X ?Y)
        (and
            (instance ?W1 Transitway)
            (routeBetween ?W1 ?A ?B)
            (instance ?W2 Transitway)
            (routeBetween ?W2 ?X ?Y)
            (not
                (equal ?W1 ?W2))
            (betweenOnPath ?A ?J ?B ?W1)
            (betweenOnPath ?X ?J ?Y ?W2)
            (connects ?J ?W1 ?W2))))

Transportation.kif 3806-3818