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 2822-2830
(subclass TransitSystem PhysicalSystem) Transportation.kif 2821-2821 TransitSystem は PhysicalSystem の subclass では %n

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


(subclass MultiModalTransitSystem TransitSystem) Transportation.kif 2893-2893 MultiModalTransitSystem は TransitSystem の subclass では %n
(subclass RailTransportationSystem TransitSystem) Transportation.kif 2070-2070 RailTransportationSystem は TransitSystem の subclass では %n
(subclass RoadTransportationSystem TransitSystem) Transportation.kif 2085-2085 RoadTransportationSystem は TransitSystem の subclass では %n
(subclass UniModalTransitSystem TransitSystem) Transportation.kif 2888-2888 UniModalTransitSystem は TransitSystem の subclass では %n
(subclass WaterTransportationSystem TransitSystem) Transportation.kif 2878-2878 WaterTransportationSystem は TransitSystem の subclass では %n
(termFormat ChineseLanguage TransitSystem "运输系统") domainEnglishFormat.kif 58904-58904
(termFormat ChineseTraditionalLanguage TransitSystem "運輸系統") domainEnglishFormat.kif 58903-58903
(termFormat EnglishLanguage TransitSystem "transit system") domainEnglishFormat.kif 58902-58902

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


(domain pathInSystem 2 TransitSystem) Transportation.kif 2724-2724 pathInSystem の数値 2 引数は TransitSystem の instance では %n
(domain routeEnd 2 TransitSystem) Transportation.kif 2778-2778 routeEnd の数値 2 引数は TransitSystem の instance では %n
(domain routeInSystem 2 TransitSystem) Transportation.kif 2744-2744 routeInSystem の数値 2 引数は TransitSystem の instance では %n
(domain routeStart 2 TransitSystem) Transportation.kif 2755-2755 routeStart の数値 2 引数は TransitSystem の instance では %n

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


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))		 Transportation.kif 2880-2884
(=>
    (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 2846-2856
(=>
    (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 2858-2868
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))		 Transportation.kif 2832-2837
(=>
    (instance ?TS TransitSystem)
    (exists (?G)
        (and
            (instance ?G Graph)
            (abstractCounterpart ?G ?TS))))		 Transportation.kif 2839-2844


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