Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| routeBetween |
| appearance as argument number 1 |
|
| (instance routeBetween TernaryPredicate) | Transportation.kif 4179-4179 | route between is an instance of ternary predicate |
| (domain routeBetween 1 Transitway) | Transportation.kif 4180-4180 | The number 1 argument of route between is an instance of transitway |
| (domain routeBetween 2 Region) | Transportation.kif 4181-4181 | The number 2 argument of route between is an instance of region |
| (domain routeBetween 3 Region) | Transportation.kif 4182-4182 | The number 3 argument of route between is an instance of region |
| (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 4183-4185 | The number 3 argument of route between is an instance of region |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage routeBetween "%1 %n{doesn't} route between %2 for %3") | domainEnglishFormat.kif 2185-2185 | |
| (format ChineseTraditionalLanguage routeBetween "%1 %n{不} route 對於 %3 在 %2 之間") | domainEnglishFormat.kif 2186-2186 | |
| (format ChineseLanguage routeBetween "%1 %n{不} route 对于 %3 在 %2 之间") | domainEnglishFormat.kif 2187-2187 | |
| (termFormat EnglishLanguage routeBetween "route between") | domainEnglishFormat.kif 50529-50529 | |
| (termFormat ChineseTraditionalLanguage routeBetween "之間的路線") | domainEnglishFormat.kif 50530-50530 | |
| (termFormat ChineseLanguage routeBetween "之间的路线") | domainEnglishFormat.kif 50531-50531 |
| consequent |
|
|
| (=> (instance ?J TransitwayJunction) (exists (?TW1 ?A ?B ?TW2 ?X ?Y) (and (instance ?TW1 Transitway) (routeBetween ?TW1 ?A ?B) (instance ?TW2 Transitway) (routeBetween ?TW2 ?X ?Y) (not (equal ?TW1 ?TW2)) (betweenOnPath ?A ?J ?B ?TW1) (betweenOnPath ?X ?J ?Y ?TW2) (connects ?J ?TW1 ?TW2)))) |
Transportation.kif 4348-4360 | If X is an instance of transitway junction, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of transitway (3) Y route between Z for W (4) V is an instance of transitway (5) V route between U for T (6) equal Y (7) V (8) X is between Z (9) W on path Y (10) X is between U (11) T on path V (12) X connects Y (13) V |
|