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 3630-3632
(domain routeBetween 1 Transitway)	Transportation.kif 3627-3627
(domain routeBetween 2 Region)	Transportation.kif 3628-3628
(domain routeBetween 3 Region)	Transportation.kif 3629-3629
(instance routeBetween TernaryPredicate)	Transportation.kif 3626-3626

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 50569-50569
(termFormat ChineseTraditionalLanguage routeBetween "之間的路線")	domainEnglishFormat.kif 50568-50568
(termFormat EnglishLanguage routeBetween "route between")	domainEnglishFormat.kif 50567-50567

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 3760-3772