Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitSystem

Sigma KEE - TransitSystem
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 2829-2837
(subclass TransitSystem PhysicalSystem) Transportation.kif 2828-2828 运输系统物理系统subclass

appearance as argument number 2
-------------------------


(subclass MultiModalTransitSystem TransitSystem) Transportation.kif 2900-2900 多式联运系统运输系统subclass
(subclass RailTransportationSystem TransitSystem) Transportation.kif 2078-2078 铁路运输系统运输系统subclass
(subclass RoadTransportationSystem TransitSystem) Transportation.kif 2093-2093 公路运输系统运输系统subclass
(subclass UniModalTransitSystem TransitSystem) Transportation.kif 2895-2895 单一运输系统运输系统subclass
(subclass WaterTransportationSystem TransitSystem) Transportation.kif 2885-2885 水运系统运输系统subclass
(termFormat ChineseLanguage TransitSystem "运输系统") domainEnglishFormat.kif 58859-58859
(termFormat ChineseTraditionalLanguage TransitSystem "運輸系統") domainEnglishFormat.kif 58858-58858
(termFormat EnglishLanguage TransitSystem "transit system") domainEnglishFormat.kif 58857-58857

appearance as argument number 3
-------------------------


(domain pathInSystem 2 TransitSystem) Transportation.kif 2731-2731 系统中的路径 的 2 数量 是 运输系统instance
(domain routeEnd 2 TransitSystem) Transportation.kif 2785-2785 routeEnd 的 2 数量 是 运输系统instance
(domain routeInSystem 2 TransitSystem) Transportation.kif 2751-2751 系统路线 的 2 数量 是 运输系统instance
(domain routeStart 2 TransitSystem) Transportation.kif 2762-2762 routeStart 的 2 数量 是 运输系统instance

antecedent
-------------------------


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))
Transportation.kif 2887-2891
(=>
    (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 2853-2863
(=>
    (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 2865-2875
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))
Transportation.kif 2839-2844
(=>
    (instance ?TS TransitSystem)
    (exists (?G)
        (and
            (instance ?G Graph)
            (abstractCounterpart ?G ?TS))))
Transportation.kif 2846-2851


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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