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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Transitway

Sigma KEE - Transitway
Transitway

appearance as argument number 1
-------------------------


(documentation Transitway ChineseLanguage "Transitway 是在 Translocation 实例中,可能以 一条 path 通过范围最笼统的类别。Transitway 包括海陆空三个地区,而且它同时包括自然和人工交通工具。") chinese_format.kif 3355-3356
(documentation Transitway EnglishLanguage "Transitway is the broadest class of regions which may be passed through as a path in instances of Translocation. Transitway includes land, air, and sea regions, and it includes both natural and artificial transitways.") Merge.kif 14267-14270
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ PlanMetroNY2.png") pictureList.kif 12042-12042
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/en/9/97/ Sydney_Tway_Network.png") pictureList.kif 10304-10304
(subclass Transitway Region) Merge.kif 14265-14265 Transitway地域subclass では %n
(subclass Transitway SelfConnectedObject) Merge.kif 14266-14266 Transitway自己接続オブジェクトsubclass では %n

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


(subclass AirTransitway Transitway) Transportation.kif 1247-1247 AirTransitwayTransitwaysubclass では %n
(subclass Airway Transitway) Mid-level-ontology.kif 11717-11717 AirwayTransitwaysubclass では %n
(subclass LandTransitway Transitway) Merge.kif 14284-14284 LandTransitwayTransitwaysubclass では %n
(subclass Pipeline Transitway) Transportation.kif 773-773 PipelineTransitwaysubclass では %n
(subclass TransitwayJunction Transitway) Transportation.kif 2962-2962 TransitwayJunctionTransitwaysubclass では %n
(subclass Waterway Transitway) Geography.kif 5576-5576 WaterwayTransitwaysubclass では %n
(termFormat ChineseLanguage Transitway "公交专用道") domainEnglishFormat.kif 58904-58904
(termFormat ChineseTraditionalLanguage Transitway "公交專用道") domainEnglishFormat.kif 58903-58903
(termFormat EnglishLanguage Transitway "transitway") domainEnglishFormat.kif 58902-58902

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


(domain TransitFn 1 Transitway) Transportation.kif 1603-1603 TransitFn の数値 1 引数は Transitwayinstance では %n
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 24363-24363 distanceOnPath の数値 2 引数は Transitwayinstance では %n
(domain pathInSystem 1 Transitway) Transportation.kif 2723-2723 pathInSystem の数値 1 引数は Transitwayinstance では %n
(domain routeBetween 1 Transitway) Transportation.kif 2903-2903 routeBetween の数値 1 引数は Transitwayinstance では %n
(domain routeInSystem 1 Transitway) Transportation.kif 2743-2743 routeInSystem の数値 1 引数は Transitwayinstance では %n
(domain transitwayCapacityCount 1 Transitway) Transportation.kif 3035-3035 transitwayCapacityCount の数値 1 引数は Transitwayinstance では %n
(domain transitwayCapacityRate 1 Transitway) Transportation.kif 3045-3045 transitwayCapacityRate の数値 1 引数は Transitwayinstance では %n

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


(=>
    (and
        (instance ?GOING
            (TransitFn ?WAY))
        (instance ?WAY Transitway))
    (path ?GOING ?WAY))
Transportation.kif 1609-1613
(=>
    (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
(=>
    (instance ?WAY Transitway)
    (hasPurpose ?WAY
        (exists (?TRANSPORT)
            (and
                (instance ?TRANSPORT Translocation)
                (path ?TRANSPORT ?WAY)))))
Merge.kif 14276-14282

consequent
-------------------------


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))
Transportation.kif 2880-2884
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))
Transportation.kif 2832-2837
(=>
    (routeEnd ?R ?TS)
    (exists (?T)
        (and
            (instance ?T Transitway)
            (connected ?R ?T)
            (systemPart ?T ?TS)
            (not
                (exists (?T2)
                    (and
                        (instance ?T2 Transitway)
                        (connected ?R ?T2)
                        (systemPart ?T2 ?TS)
                        (not
                            (equal ?T ?T2))))))))
Transportation.kif 2783-2797
(=>
    (routeStart ?R ?TS)
    (exists (?T)
        (and
            (instance ?T Transitway)
            (connected ?R ?T)
            (systemPart ?T ?TS)
            (not
                (exists (?T2)
                    (and
                        (instance ?T2 Transitway)
                        (connected ?R ?T2)
                        (systemPart ?T2 ?TS)
                        (not
                            (equal ?T ?T2))))))))
Transportation.kif 2760-2774


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