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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2800-2808
(subclass TransitSystem PhysicalSystem) Transportation.kif 2799-2799 subclass TransitSystem and PhysicalSystem

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


(subclass MultiModalTransitSystem TransitSystem) Transportation.kif 2871-2871 subclass MultiModalTransitSystem and TransitSystem
(subclass RailTransportationSystem TransitSystem) Transportation.kif 2060-2060 subclass RailTransportationSystem and TransitSystem
(subclass RoadTransportationSystem TransitSystem) Transportation.kif 2075-2075 subclass RoadTransportationSystem and TransitSystem
(subclass UniModalTransitSystem TransitSystem) Transportation.kif 2866-2866 subclass UniModalTransitSystem and TransitSystem
(subclass WaterTransportationSystem TransitSystem) Transportation.kif 2856-2856 subclass WaterTransportationSystem and TransitSystem
(termFormat ChineseLanguage TransitSystem "运输系统") domainEnglishFormat.kif 58779-58779
(termFormat ChineseTraditionalLanguage TransitSystem "運輸系統") domainEnglishFormat.kif 58778-58778
(termFormat EnglishLanguage TransitSystem "transit system") domainEnglishFormat.kif 58777-58777

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


(domain pathInSystem 2 TransitSystem) Transportation.kif 2702-2702 domain pathInSystem, 2 and TransitSystem
(domain routeEnd 2 TransitSystem) Transportation.kif 2756-2756 domain routeEnd, 2 and TransitSystem
(domain routeInSystem 2 TransitSystem) Transportation.kif 2722-2722 domain routeInSystem, 2 and TransitSystem
(domain routeStart 2 TransitSystem) Transportation.kif 2733-2733 domain routeStart, 2 and TransitSystem

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


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))
Transportation.kif 2858-2862
(=>
    (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 2824-2834
(=>
    (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 2836-2846
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))
Transportation.kif 2810-2815
(=>
    (instance ?TS TransitSystem)
    (exists (?G)
        (and
            (instance ?G Graph)
            (abstractCounterpart ?G ?TS))))
Transportation.kif 2817-2822


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners