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 は PhysicalSystem の subclass では |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain pathInSystem 2 TransitSystem) | Transportation.kif 3322-3322 | pathInSystem の数値 2 引数は TransitSystem の instance では |
(domain routeEnd 2 TransitSystem) | Transportation.kif 3376-3376 | routeEnd の数値 2 引数は TransitSystem の instance では |
(domain routeInSystem 2 TransitSystem) | Transportation.kif 3342-3342 | routeInSystem の数値 2 引数は TransitSystem の instance では |
(domain routeStart 2 TransitSystem) | Transportation.kif 3353-3353 | routeStart の数値 2 引数は TransitSystem の instance では |
antecedent |
![]() |
![]() |
![]() |