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	The number 1 argument of route between is an instance of transitway
(domain routeBetween 2 Region)	Transportation.kif 3638-3638	The number 2 argument of route between is an instance of region
(domain routeBetween 3 Region)	Transportation.kif 3639-3639	The number 3 argument of route between is an instance of region
(instance routeBetween TernaryPredicate)	Transportation.kif 3636-3636	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 50538-50538
(termFormat ChineseTraditionalLanguage routeBetween "之間的路線")	domainEnglishFormat.kif 50537-50537
(termFormat EnglishLanguage routeBetween "route between")	domainEnglishFormat.kif 50536-50536

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