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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14313-14316
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ 1970_route_map_eng.png") pictureList.kif 12028-12028
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ SchienenverkehrIstanbul2006InBetrieb.png") pictureList.kif 12027-12027
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 4/ 44/ Tren_Urbano_Route.jpg") pictureList.kif 12029-12029
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Image-Interstate66-map.PNG") pictureList.kif 12025-12025
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ PlanMetroNY2.png") pictureList.kif 10301-10301
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Bucharest-Metro-Map-2007.png") pictureList.kif 12030-12030
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ OWL-Verkehr2.png") pictureList.kif 12026-12026
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/en/9/97/ Sydney_Tway_Network.png") pictureList.kif 10303-10303
(subclass Transitway Region) Merge.kif 14311-14311
(subclass Transitway SelfConnectedObject) Merge.kif 14312-14312

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


(subclass AirTransitway Transitway) Transportation.kif 1247-1247
(subclass Airway Transitway) Mid-level-ontology.kif 11935-11935
(subclass LandTransitway Transitway) Merge.kif 14330-14330
(subclass Pipeline Transitway) Transportation.kif 773-773
(subclass TransitwayJunction Transitway) Transportation.kif 3752-3752
(subclass Waterway Transitway) Geography.kif 5576-5576
(termFormat ChineseLanguage Transitway "公交专用道") domainEnglishFormat.kif 58925-58925
(termFormat ChineseTraditionalLanguage Transitway "公交專用道") domainEnglishFormat.kif 58924-58924
(termFormat EnglishLanguage Transitway "transitway") domainEnglishFormat.kif 58923-58923

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


(domain TransitFn 1 Transitway) Transportation.kif 1732-1732
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 24651-24651
(domain pathInSystem 1 Transitway) Transportation.kif 3312-3312
(domain routeBetween 1 Transitway) Transportation.kif 3627-3627
(domain routeInSystem 1 Transitway) Transportation.kif 3332-3332
(domain transitwayThroughputCapacity 1 Transitway) Transportation.kif 3867-3867

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 3796-3803
(=>
    (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 3774-3794
(=>
    (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 3435-3445
(=>
    (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 3233-3257
(=>
    (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 3266-3290
(=>
    (instance ?WAY Transitway)
    (hasPurpose ?WAY
        (exists (?TRANSPORT)
            (and
                (instance ?TRANSPORT Translocation)
                (path ?TRANSPORT ?WAY)))))		 Merge.kif 14322-14328

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


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))		 Transportation.kif 3467-3471
(=>
    (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 3774-3794
(=>
    (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 3760-3772
(=>
    (instance ?J TransitwayJunction)
    (exists (?W1 ?W2)
        (and
            (instance ?W1 Transitway)
            (instance ?W2 Transitway)
            (connects ?J ?W1 ?W2)
            (not
                (equal ?W1 ?W2)))))		 Transportation.kif 3805-3813
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))		 Transportation.kif 3421-3426
(=>
    (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 3372-3386
(=>
    (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 3349-3363


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