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 3420-3428
(subclass TransitSystem PhysicalSystem) Transportation.kif 3419-3419 TransitSystem est une sous-classe de PhysicalSystem

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


(subclass AirTransportationSystem TransitSystem) Transportation.kif 3494-3494 AirTransportationSystem est une sous-classe de TransitSystem
(subclass MultiModalTransitSystem TransitSystem) Transportation.kif 3563-3563 MultiModalTransitSystem est une sous-classe de TransitSystem
(subclass RailTransportationSystem TransitSystem) Transportation.kif 2210-2210 RailTransportationSystem est une sous-classe de TransitSystem
(subclass RoadTransportationSystem TransitSystem) Transportation.kif 2260-2260 RoadTransportationSystem est une sous-classe de TransitSystem
(subclass UniModalTransitSystem TransitSystem) Transportation.kif 3505-3505 UniModalTransitSystem est une sous-classe de TransitSystem
(subclass WaterTransportationSystem TransitSystem) Transportation.kif 3482-3482 WaterTransportationSystem est une sous-classe de TransitSystem
(termFormat ChineseLanguage TransitSystem "运输系统") domainEnglishFormat.kif 58882-58882 WaterTransportationSystem est une sous-classe de TransitSystem
(termFormat ChineseTraditionalLanguage TransitSystem "運輸系統") domainEnglishFormat.kif 58881-58881 WaterTransportationSystem est une sous-classe de TransitSystem
(termFormat EnglishLanguage TransitSystem "transit system") domainEnglishFormat.kif 58880-58880 WaterTransportationSystem est une sous-classe de TransitSystem

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


(domain pathInSystem 2 TransitSystem) Transportation.kif 3322-3322 Le nombre 2 argument de pathInSystem est une instance de TransitSystem
(domain routeEnd 2 TransitSystem) Transportation.kif 3376-3376 Le nombre 2 argument de routeEnd est une instance de TransitSystem
(domain routeInSystem 2 TransitSystem) Transportation.kif 3342-3342 Le nombre 2 argument de routeInSystem est une instance de TransitSystem
(domain routeStart 2 TransitSystem) Transportation.kif 3353-3353 Le nombre 2 argument de routeStart est une instance de TransitSystem

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


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))		 Transportation.kif 3476-3480
(=>
    (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 3444-3454
(=>
    (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 3456-3466
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))		 Transportation.kif 3430-3435
(=>
    (instance ?TS TransitSystem)
    (exists (?G)
        (and
            (instance ?G Graph)
            (abstractCounterpart ?G ?TS))))		 Transportation.kif 3437-3442


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 3.0 is open source software produced by Articulate Software and its partners