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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransitSystem

Sigma KEE - TransitSystem
TransitSystem(transit system)

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 2821-2829
(subclass TransitSystem PhysicalSystem) Transportation.kif 2820-2820 Transit system is a subclass of physical system

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


(subclass MultiModalTransitSystem TransitSystem) Transportation.kif 2892-2892 Multi modal transit system is a subclass of transit system
(subclass RailTransportationSystem TransitSystem) Transportation.kif 2070-2070 Rail transportation system is a subclass of transit system
(subclass RoadTransportationSystem TransitSystem) Transportation.kif 2085-2085 Road transportation system is a subclass of transit system
(subclass UniModalTransitSystem TransitSystem) Transportation.kif 2887-2887 Uni modal transit system is a subclass of transit system
(subclass WaterTransportationSystem TransitSystem) Transportation.kif 2877-2877 Water transportation system is a subclass of transit system
(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 2723-2723 The number 2 argument of path in system is an instance of transit system
(domain routeEnd 2 TransitSystem) Transportation.kif 2777-2777 The number 2 argument of routeEnd is an instance of transit system
(domain routeInSystem 2 TransitSystem) Transportation.kif 2743-2743 The number 2 argument of route in system is an instance of transit system
(domain routeStart 2 TransitSystem) Transportation.kif 2754-2754 The number 2 argument of routeStart is an instance of transit system

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


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))
Transportation.kif 2879-2883
(=>
    (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 2845-2855
(=>
    (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 2857-2867
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))
Transportation.kif 2831-2836
(=>
    (instance ?TS TransitSystem)
    (exists (?G)
        (and
            (instance ?G Graph)
            (abstractCounterpart ?G ?TS))))
Transportation.kif 2838-2843


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