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 2855-2863
(subclass TransitSystem PhysicalSystem) Transportation.kif 2854-2854 TransitSystem ist eine teilkategorie von PhysicalSystem

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


(subclass AirTransportationSystem TransitSystem) Transportation.kif 2929-2929 AirTransportationSystem ist eine teilkategorie von TransitSystem
(subclass MultiModalTransitSystem TransitSystem) Transportation.kif 2944-2944 MultiModalTransitSystem ist eine teilkategorie von TransitSystem
(subclass RailTransportationSystem TransitSystem) Transportation.kif 2070-2070 RailTransportationSystem ist eine teilkategorie von TransitSystem
(subclass RoadTransportationSystem TransitSystem) Transportation.kif 2091-2091 RoadTransportationSystem ist eine teilkategorie von TransitSystem
(subclass UniModalTransitSystem TransitSystem) Transportation.kif 2939-2939 UniModalTransitSystem ist eine teilkategorie von TransitSystem
(subclass WaterTransportationSystem TransitSystem) Transportation.kif 2917-2917 WaterTransportationSystem ist eine teilkategorie von TransitSystem
(termFormat ChineseLanguage TransitSystem "运输系统") domainEnglishFormat.kif 58894-58894
(termFormat ChineseTraditionalLanguage TransitSystem "運輸系統") domainEnglishFormat.kif 58893-58893
(termFormat EnglishLanguage TransitSystem "transit system") domainEnglishFormat.kif 58892-58892

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


(domain pathInSystem 2 TransitSystem) Transportation.kif 2757-2757 Die Zahl 2 Argument von pathInSystem ist ein fall von TransitSystem %n{nicht}
(domain routeEnd 2 TransitSystem) Transportation.kif 2811-2811 Die Zahl 2 Argument von routeEnd ist ein fall von TransitSystem %n{nicht}
(domain routeInSystem 2 TransitSystem) Transportation.kif 2777-2777 Die Zahl 2 Argument von routeInSystem ist ein fall von TransitSystem %n{nicht}
(domain routeStart 2 TransitSystem) Transportation.kif 2788-2788 Die Zahl 2 Argument von routeStart ist ein fall von TransitSystem %n{nicht}

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


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))
Transportation.kif 2911-2915
(=>
    (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 2879-2889
(=>
    (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 2891-2901
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))
Transportation.kif 2865-2870
(=>
    (instance ?TS TransitSystem)
    (exists (?G)
        (and
            (instance ?G Graph)
            (abstractCounterpart ?G ?TS))))
Transportation.kif 2872-2877


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