| appearance as argument number 1 |
|
| (documentation TransitSystem EnglishLanguage "A TransitSystem is a system of interconnected Transitways over which some type(s) of vehicles or travellers may pass. In addition to Transitways, TransitSystems may also include TransitJunctions and TransitTerminals. Transit systems may be demarcated by where they are located (e.g., the rail system of Afghanistan), who owns or manages them (e.g., American Airlines TransitSystem of AirRoutes, or state highways managed by TexDOT), or the type of vehicles or travellers accommodated (e.g., the system of Santa Clara county bike trails.") | Transportation.kif 3411-3419 | |
| (subclass TransitSystem PhysicalSystem) | Transportation.kif 3410-3410 |
| appearance as argument number 2 |
|
|
| (subclass AirTransportationSystem TransitSystem) | Transportation.kif 3485-3485 | |
| (subclass MultiModalTransitSystem TransitSystem) | Transportation.kif 3553-3553 | |
| (subclass RailTransportationSystem TransitSystem) | Transportation.kif 2210-2210 | |
| (subclass RoadTransportationSystem TransitSystem) | Transportation.kif 2254-2254 | |
| (subclass UniModalTransitSystem TransitSystem) | Transportation.kif 3495-3495 | |
| (subclass WaterTransportationSystem TransitSystem) | Transportation.kif 3473-3473 | |
| (termFormat ChineseLanguage TransitSystem "运输系统") | domainEnglishFormat.kif 58913-58913 | |
| (termFormat ChineseTraditionalLanguage TransitSystem "運輸系統") | domainEnglishFormat.kif 58912-58912 | |
| (termFormat EnglishLanguage TransitSystem "transit system") | domainEnglishFormat.kif 58911-58911 |
| appearance as argument number 3 |
|
|
| (domain pathInSystem 2 TransitSystem) | Transportation.kif 3313-3313 | |
| (domain routeEnd 2 TransitSystem) | Transportation.kif 3367-3367 | |
| (domain routeInSystem 2 TransitSystem) | Transportation.kif 3333-3333 | |
| (domain routeStart 2 TransitSystem) | Transportation.kif 3344-3344 |
| antecedent |
|
|
| (=> (and (instance ?SYSTEM TransitSystem) (systemPart ?PART ?SYSTEM)) (instance ?PART Transitway)) |
Transportation.kif 3467-3471 | |
| (=> (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 3435-3445 | |
| (=> (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 3447-3457 | |
| (=> (instance ?SYSTEM TransitSystem) (exists (?ROUTE) (and (instance ?ROUTE Transitway) (part ?ROUTE ?SYSTEM)))) |
Transportation.kif 3421-3426 | |
| (=> (instance ?TS TransitSystem) (exists (?G) (and (instance ?G Graph) (abstractCounterpart ?G ?TS)))) |
Transportation.kif 3428-3433 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners