Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Transitway(transitway)
more pictures... |  | Belmont, Belmont_Park, access, approach, beeline, bend, celestial_orbit, course, crosscut, curve, cutoff, feeder_line, flyway, geosynchronous_orbit, itinerary, line_of_fire, main_line, migration_route, orbit, passage, path, route, shortcut, supply_line, supply_route, track, trade_route, way |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 26662-26662 | The number 2 argument of distance on path is an instance of transitway |
| (domain TransitFn 1 Transitway) | Transportation.kif 1747-1747 | The number 1 argument of transit is an instance of transitway |
| (domain pathInSystem 1 Transitway) | Transportation.kif 3864-3864 | The number 1 argument of path in system is an instance of transitway |
| (domain routeInSystem 1 Transitway) | Transportation.kif 3884-3884 | The number 1 argument of route in system is an instance of transitway |
| (domain routeBetween 1 Transitway) | Transportation.kif 4180-4180 | The number 1 argument of route between is an instance of transitway |
| (domain transitwayThroughputCapacity 1 Transitway) | Transportation.kif 4455-4455 | The number 1 argument of transit way throughput capacity is an instance of transitway |
| antecedent |
|
|
| (=> (instance ?WAY Transitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Translocation) (path ?TRANSPORT ?WAY))))) |
Merge.kif 14590-14596 | If X is an instance of transitway, then X has the purpose there exists Y such that Y is an instance of translocation and X is path along which Y occurs |
| (=> (and (instance ?GOING (TransitFn ?WAY)) (instance ?WAY Transitway)) (path ?GOING ?WAY)) |
Transportation.kif 1753-1757 | If X is an instance of the transit of Y and Y is an instance of transitway, then Y is path along which X occurs |
| (=> (and (instance ?W Transitway) (attribute ?W BiDirectionalTraffic)) (exists (?P) (and (instance ?P Policy) (confersNorm (exists (?T1 ?A ?B) (and (instance ?T1 Transportation) (path ?T1 ?W) (instance ?A GeographicArea) (origin ?T1 ?A) (instance ?B GeographicArea) (destination ?T1 ?B) (holdsDuring (WhenFn ?T1) (exists (?T2) (and (instance ?T2 Transportation) (path ?T2 ?W) (origin ?T1 ?B) (destination ?T1 ?A) (not (equal ?T1 ?T2))))))) Permission ?P)))) |
Transportation.kif 3785-3809 | If X is an instance of transitway and bidirectional traffic is an attribute of X, then All of the following hold: (1) there exists Y such that Y is an instance of policy (2) there exist Z, W (3) V such that Z is an instance of transportation (4) X is path along which Z occurs (5) W is an instance of geographic area (6) Z originates at W (7) V is an instance of geographic area (8) Z ends up at V (9) there exists U such that U is an instance of transportation (10) X is path along which U occurs (11) Z originates at V (12) Z ends up at W (13) equal Z (14) U holds during the time of existence of Z confers norm permission for Y |
| (=> (and (instance ?W Transitway) (attribute ?W UniDirectionalTraffic)) (exists (?P) (and (instance ?P Policy) (confersNorm (exists (?T1 ?A ?B) (and (instance ?T1 Transportation) (path ?T1 ?W) (instance ?A GeographicArea) (origin ?T1 ?A) (instance ?B GeographicArea) (destination ?T1 ?B) (holdsDuring (WhenFn ?T1) (exists (?T2) (and (instance ?T2 Transportation) (path ?T2 ?W) (origin ?T1 ?B) (destination ?T1 ?A) (not (equal ?T1 ?T2))))))) Prohibition ?P)))) |
Transportation.kif 3818-3842 | If X is an instance of transitway and unidirectional traffic is an attribute of X, then All of the following hold: (1) there exists Y such that Y is an instance of policy (2) there exist Z, W (3) V such that Z is an instance of transportation (4) X is path along which Z occurs (5) W is an instance of geographic area (6) Z originates at W (7) V is an instance of geographic area (8) Z ends up at V (9) there exists U such that U is an instance of transportation (10) X is path along which U occurs (11) Z originates at V (12) Z ends up at W (13) equal Z (14) U holds during the time of existence of Z confers norm prohibition for Y |
| (=> (and (instance ?TS TransitSystem) (instance ?T Transitway) (abstractCounterpart ?G ?TS) (systemPart ?T ?TS)) (exists (?GA) (and (instance ?GA GraphArc) (abstractCounterpart ?GA ?T) (graphPart ?GA ?G)))) |
Transportation.kif 3987-3997 | If X is an instance of transit system, Y is an instance of transitway, 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 arc, the abstract counterpart of Y is W, and W is a part of Z |
| (=> (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 |
| (=> (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 |
| consequent |
|
|
| (=> (routeStart ?R ?TS) (exists (?T) (and (instance ?T Transitway) (connected ?R ?T) (systemPart ?T ?TS) (not (exists (?T2) (and (instance ?T2 Transitway) (connected ?R ?T2) (systemPart ?T2 ?TS) (not (equal ?T ?T2)))))))) |
Transportation.kif 3901-3915 | If X is the start of Y, then All of the following hold: (1) there exists Z such that Z is an instance of transitway (2) X is connected to Z (3) Y is a system part of Z (4) there doesn't exist W such that W is an instance of transitway (5) X is connected to W (6) Y is a system part of W (7) equal Z (8) W |
| (=> (routeEnd ?R ?TS) (exists (?T) (and (instance ?T Transitway) (connected ?R ?T) (systemPart ?T ?TS) (not (exists (?T2) (and (instance ?T2 Transitway) (connected ?R ?T2) (systemPart ?T2 ?TS) (not (equal ?T ?T2)))))))) |
Transportation.kif 3924-3938 | If X is the end of Y, then All of the following hold: (1) there exists Z such that Z is an instance of transitway (2) X is connected to Z (3) Y is a system part of Z (4) there doesn't exist W such that W is an instance of transitway (5) X is connected to W (6) Y is a system part of W (7) equal Z (8) W |
| (=> (instance ?SYSTEM TransitSystem) (exists (?ROUTE) (and (instance ?ROUTE Transitway) (part ?ROUTE ?SYSTEM)))) |
Transportation.kif 3973-3978 | If X is an instance of transit system, then there exists Y such that Y is an instance of transitway and Y is a part of X |
| (=> (and (instance ?SYSTEM TransitSystem) (systemPart ?PART ?SYSTEM)) (instance ?PART Transitway)) |
Transportation.kif 4019-4023 | If X is an instance of transit system and X is a system part of Y, then Y is an instance of transitway |
| (=> (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 |
|