| TransitwayJunction(transitway junction)
|
| appearance as argument number 1 |
|
| (subclass TransitwayJunction Transitway) | Transportation.kif 4301-4301 | 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 4305-4307 | 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 3960-3970 | 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 (?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 4309-4321 | 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 4323-4343 | 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 (?W1 ?W2) (and (instance ?W1 Transitway) (instance ?W2 Transitway) (connects ?J ?W1 ?W2) (not (equal ?W1 ?W2))))) |
Transportation.kif 4354-4362 | 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 4345-4352 | 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 |
|
|
|