Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
TransitwayJunction(transitway junction)
|
| appearance as argument number 1 |
|
| (subclass TransitwayJunction Transitway) | Transportation.kif 4340-4340 | Transitway junction is a subclass of transitway |
| (documentation TransitwayJunction EnglishLanguage "TransitwayJunction is the class of regions where two or more Transitways meet and traffic may transfer from one transitway to another.") | Transportation.kif 4344-4346 | Transitway junction is a subclass of transitway |
| (externalImage TransitwayJunction "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ Stackedjunction.jpeg") | pictureList.kif 1273-1273 | Transitway junction is a subclass of transitway |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?TS TransitSystem) (instance ?TJ TransitwayJunction) (abstractCounterpart ?G ?TS) (systemPart ?TJ ?TS)) (exists (?GN) (and (instance ?GN GraphNode) (abstractCounterpart ?GN ?TJ) (graphPart ?GN ?G)))) |
Transportation.kif 3999-4009 | If X is an instance of transit system, Y is an instance of transitway junction, the abstract counterpart of X is Z, and X is a system part of Y, then there exists W such that W is an instance of graph node, the abstract counterpart of Y is W, and W is a part of Z |
| (=> (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 |
| (=> (and (instance ?T Transportation) (instance ?P1 Transitway) (path ?T ?P1) (conveyance ?T ?V) (instance ?J TransitwayJunction) (part ?J ?P1)) (exists (?P2 ?M) (and (instance ?P2 Transitway) (not (equal ?P1 ?P2)) (connects ?J ?P1 ?P2) (capability Transfer path ?J) (instance ?M Transfer) (conveyance ?M ?V) (meetsTemporally (WhenFn ?T) (WhenFn ?M)) (modalAttribute (path ?M ?P2) Possibility)))) |
Transportation.kif 4362-4382 | If All of the following hold: (1) X is an instance of transportation (2) Y is an instance of transitway (3) Y is path along which X occurs (4) Z is a conveyance during X (5) W is an instance of transitway junction (6) W is a part of Y, then All of the following hold: (1) there exist V (2) U such that V is an instance of transitway (3) equal Y (4) V (5) W connects Y (6) V (7) W is capable of doing transfer as a path (8) U is an instance of transfer (9) Z is a conveyance during U (10) the time of existence of X meets the time of existence of U (11) the statement V is path along which U occurs has the modal force of possibility |
| (=> (instance ?J TransitwayJunction) (exists (?TW1 ?TW2) (and (instance ?TW1 Transitway) (instance ?TW2 Transitway) (connects ?J ?TW1 ?TW2) (not (equal ?TW1 ?TW2))))) |
Transportation.kif 4393-4401 | If X is an instance of transitway junction, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of transitway (3) Z is an instance of transitway (4) X connects Y (5) Z (6) equal Y (7) Z |
| consequent |
|
|
| (=> (and (instance ?R1 Transitway) (instance ?R2 Transitway) (not (equal ?R1 ?R2)) (connects ?J ?R1 ?R2)) (instance ?J TransitwayJunction)) |
Transportation.kif 4384-4391 | If X is an instance of transitway, Y is an instance of transitway, equal X and Y, and Z connects X and Y, then Z is an instance of transitway junction |
|