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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Transitway

Sigma KEE - Transitway
Transitway
more pictures...

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 14420-14423
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ 1970_route_map_eng.png") pictureList.kif 12022-12022
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ SchienenverkehrIstanbul2006InBetrieb.png") pictureList.kif 12021-12021
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 4/ 44/ Tren_Urbano_Route.jpg") pictureList.kif 12023-12023
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Image_Interstate66-map.PNG") pictureList.kif 12019-12019
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ PlanMetroNY2.png") pictureList.kif 10300-10300
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Bucharest_Metro_Map-2007.png") pictureList.kif 12024-12024
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ OWL_Verkehr2.png") pictureList.kif 12020-12020
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/en/9/97/ Sydney_Tway_Network.png") pictureList.kif 10302-10302
(subclass Transitway Region) Merge.kif 14418-14418 Transitway地域subclass では
(subclass Transitway SelfConnectedObject) Merge.kif 14419-14419 Transitway自己接続オブジェクトsubclass では

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


(subclass AirTransitway Transitway) Transportation.kif 1247-1247 AirTransitwayTransitwaysubclass では
(subclass Airway Transitway) Mid-level-ontology.kif 13048-13048 AirwayTransitwaysubclass では
(subclass LandTransitway Transitway) Merge.kif 14437-14437 LandTransitwayTransitwaysubclass では
(subclass Pipeline Transitway) Transportation.kif 773-773 PipelineTransitwaysubclass では
(subclass TransitwayJunction Transitway) Transportation.kif 3800-3800 TransitwayJunctionTransitwaysubclass では
(subclass Waterway Transitway) Geography.kif 5846-5846 WaterwayTransitwaysubclass では
(termFormat ChineseLanguage Transitway "公交专用道") domainEnglishFormat.kif 58894-58894 WaterwayTransitwaysubclass では
(termFormat ChineseTraditionalLanguage Transitway "公交專用道") domainEnglishFormat.kif 58893-58893 WaterwayTransitwaysubclass では
(termFormat EnglishLanguage Transitway "transitway") domainEnglishFormat.kif 58892-58892 WaterwayTransitwaysubclass では

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


(domain TransitFn 1 Transitway) Transportation.kif 1732-1732 TransitFn の数値 1 引数は Transitwayinstance では
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 26025-26025 distanceOnPath の数値 2 引数は Transitwayinstance では
(domain pathInSystem 1 Transitway) Transportation.kif 3321-3321 pathInSystem の数値 1 引数は Transitwayinstance では
(domain routeBetween 1 Transitway) Transportation.kif 3637-3637 routeBetween の数値 1 引数は Transitwayinstance では
(domain routeInSystem 1 Transitway) Transportation.kif 3341-3341 routeInSystem の数値 1 引数は Transitwayinstance では
(domain transitwayThroughputCapacity 1 Transitway) Transportation.kif 3915-3915 transitwayThroughputCapacity の数値 1 引数は Transitwayinstance では

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


(=>
    (and
        (instance ?GOING
            (TransitFn ?WAY))
        (instance ?WAY Transitway))
    (path ?GOING ?WAY))
Transportation.kif 1738-1742
(=>
    (and
        (instance ?R1 Transitway)
        (instance ?R2 Transitway)
        (not
            (equal ?R1 ?R2))
        (connects ?J ?R1 ?R2))
    (instance ?J TransitwayJunction))
Transportation.kif 3844-3851
(=>
    (and
        (instance ?T Transportation)
        (instance ?P1 Transitway)
        (path ?T ?P1)
        (conveyance ?T ?V)
        (instance ?J TransitwayJunction)
        (part ?J ?P1))
    (exists (?P2 ?M)
        (and
            (instance ?P2 Transitway)
            (not
                (equal ?P1 ?P2))
            (connects ?J ?P1 ?P2)
            (capability Transfer path ?J)
            (instance ?M Transfer)
            (conveyance ?M ?V)
            (meetsTemporally
                (WhenFn ?T)
                (WhenFn ?M))
            (modalAttribute
                (path ?M ?P2) Possibility))))
Transportation.kif 3822-3842
(=>
    (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 ?W Transitway)
        (attribute ?W BiDirectionalTraffic))
    (exists (?P)
        (and
            (instance ?P Policy)
            (confersNorm ?P
                (exists (?T1 ?A ?B)
                    (and
                        (instance ?T1 Transportation)
                        (path ?T1 ?W)
                        (instance ?A GeographicArea)
                        (origin ?T1 ?A)
                        (instance ?B GeographicArea)
                        (destination ?T1 ?B)
                        (holdsDuring
                            (WhenFn ?T1)
                            (exists (?T2)
                                (and
                                    (instance ?T2 Transportation)
                                    (path ?T2 ?W)
                                    (origin ?T1 ?B)
                                    (destination ?T1 ?A)
                                    (not
                                        (equal ?T1 ?T2))))))) Permission))))
Transportation.kif 3242-3266
(=>
    (and
        (instance ?W Transitway)
        (attribute ?W UniDirectionalTraffic))
    (exists (?P)
        (and
            (instance ?P Policy)
            (confersNorm ?P
                (exists (?T1 ?A ?B)
                    (and
                        (instance ?T1 Transportation)
                        (path ?T1 ?W)
                        (instance ?A GeographicArea)
                        (origin ?T1 ?A)
                        (instance ?B GeographicArea)
                        (destination ?T1 ?B)
                        (holdsDuring
                            (WhenFn ?T1)
                            (exists (?T2)
                                (and
                                    (instance ?T2 Transportation)
                                    (path ?T2 ?W)
                                    (origin ?T1 ?B)
                                    (destination ?T1 ?A)
                                    (not
                                        (equal ?T1 ?T2))))))) Prohibition))))
Transportation.kif 3275-3299
(=>
    (instance ?WAY Transitway)
    (hasPurpose ?WAY
        (exists (?TRANSPORT)
            (and
                (instance ?TRANSPORT Translocation)
                (path ?TRANSPORT ?WAY)))))
Merge.kif 14429-14435

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


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))
Transportation.kif 3476-3480
(=>
    (and
        (instance ?T Transportation)
        (instance ?P1 Transitway)
        (path ?T ?P1)
        (conveyance ?T ?V)
        (instance ?J TransitwayJunction)
        (part ?J ?P1))
    (exists (?P2 ?M)
        (and
            (instance ?P2 Transitway)
            (not
                (equal ?P1 ?P2))
            (connects ?J ?P1 ?P2)
            (capability Transfer path ?J)
            (instance ?M Transfer)
            (conveyance ?M ?V)
            (meetsTemporally
                (WhenFn ?T)
                (WhenFn ?M))
            (modalAttribute
                (path ?M ?P2) Possibility))))
Transportation.kif 3822-3842
(=>
    (instance ?J TransitwayJunction)
    (exists (?W1 ?A ?B ?W2 ?X ?Y)
        (and
            (instance ?W1 Transitway)
            (routeBetween ?W1 ?A ?B)
            (instance ?W2 Transitway)
            (routeBetween ?W2 ?X ?Y)
            (not
                (equal ?W1 ?W2))
            (betweenOnPath ?A ?J ?B ?W1)
            (betweenOnPath ?X ?J ?Y ?W2)
            (connects ?J ?W1 ?W2))))
Transportation.kif 3808-3820
(=>
    (instance ?J TransitwayJunction)
    (exists (?W1 ?W2)
        (and
            (instance ?W1 Transitway)
            (instance ?W2 Transitway)
            (connects ?J ?W1 ?W2)
            (not
                (equal ?W1 ?W2)))))
Transportation.kif 3853-3861
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))
Transportation.kif 3430-3435
(=>
    (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 3381-3395
(=>
    (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 3358-3372


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