TransitSystem
|
|
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 2822-2830 | |
(subclass TransitSystem PhysicalSystem) | Transportation.kif 2821-2821 | 运输系统 是 物理系统 的 subclass |
appearance as argument number 2 |
(subclass MultiModalTransitSystem TransitSystem) | Transportation.kif 2893-2893 | 多式联运系统 是 运输系统 的 subclass |
(subclass RailTransportationSystem TransitSystem) | Transportation.kif 2070-2070 | 铁路运输系统 是 运输系统 的 subclass |
(subclass RoadTransportationSystem TransitSystem) | Transportation.kif 2085-2085 | 公路运输系统 是 运输系统 的 subclass |
(subclass UniModalTransitSystem TransitSystem) | Transportation.kif 2888-2888 | 单一运输系统 是 运输系统 的 subclass |
(subclass WaterTransportationSystem TransitSystem) | Transportation.kif 2878-2878 | 水运系统 是 运输系统 的 subclass |
(termFormat ChineseLanguage TransitSystem "运输系统") | domainEnglishFormat.kif 58892-58892 | |
(termFormat ChineseTraditionalLanguage TransitSystem "運輸系統") | domainEnglishFormat.kif 58891-58891 | |
(termFormat EnglishLanguage TransitSystem "transit system") | domainEnglishFormat.kif 58890-58890 |
appearance as argument number 3 |
(domain pathInSystem 2 TransitSystem) | Transportation.kif 2724-2724 | 系统中的路径 的 2 数量 是 运输系统 的 instance |
(domain routeEnd 2 TransitSystem) | Transportation.kif 2778-2778 | routeEnd 的 2 数量 是 运输系统 的 instance |
(domain routeInSystem 2 TransitSystem) | Transportation.kif 2744-2744 | 系统路线 的 2 数量 是 运输系统 的 instance |
(domain routeStart 2 TransitSystem) | Transportation.kif 2755-2755 | routeStart 的 2 数量 是 运输系统 的 instance |
antecedent |
(=> (and (instance ?SYSTEM TransitSystem) (systemPart ?PART ?SYSTEM)) (instance ?PART Transitway)) |
Transportation.kif 2880-2884 | |
(=> (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 2846-2856 | |
(=> (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 2858-2868 | |
(=> (instance ?SYSTEM TransitSystem) (exists (?ROUTE) (and (instance ?ROUTE Transitway) (part ?ROUTE ?SYSTEM)))) |
Transportation.kif 2832-2837 | |
(=> (instance ?TS TransitSystem) (exists (?G) (and (instance ?G Graph) (abstractCounterpart ?G ?TS)))) |
Transportation.kif 2839-2844 |