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 3636-3638
(domain routeBetween 1 Transitway)	Transportation.kif 3633-3633	The number 1 argument of route between is an instance of transitway
(domain routeBetween 2 Region)	Transportation.kif 3634-3634	The number 2 argument of route between is an instance of region
(domain routeBetween 3 Region)	Transportation.kif 3635-3635	The number 3 argument of route between is an instance of region
(instance routeBetween TernaryPredicate)	Transportation.kif 3632-3632	route between is an instance of ternary predicate

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 3802-3814