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 14442-14445
(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 14440-14440 Transitway est une sous-classe de r�gion
(subclass Transitway SelfConnectedObject) Merge.kif 14441-14441 Transitway est une sous-classe de objet en une partie

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


(subclass AirTransitway Transitway) Transportation.kif 1247-1247 AirTransitway est une sous-classe de Transitway
(subclass Airway Transitway) Mid-level-ontology.kif 13042-13042 Airway est une sous-classe de Transitway
(subclass LandTransitway Transitway) Merge.kif 14459-14459 LandTransitway est une sous-classe de Transitway
(subclass Pipeline Transitway) Transportation.kif 773-773 Pipeline est une sous-classe de Transitway
(subclass TransitwayJunction Transitway) Transportation.kif 3796-3796 TransitwayJunction est une sous-classe de Transitway
(subclass Waterway Transitway) Geography.kif 7112-7112 Waterway est une sous-classe de Transitway
(termFormat ChineseLanguage Transitway "公交专用道") domainEnglishFormat.kif 58893-58893 Waterway est une sous-classe de Transitway
(termFormat ChineseTraditionalLanguage Transitway "公交專用道") domainEnglishFormat.kif 58892-58892 Waterway est une sous-classe de Transitway
(termFormat EnglishLanguage Transitway "transitway") domainEnglishFormat.kif 58891-58891 Waterway est une sous-classe de Transitway

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


(domain TransitFn 1 Transitway) Transportation.kif 1731-1731 Le nombre 1 argument de TransitFn est une instance de Transitway
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 26016-26016 Le nombre 2 argument de distanceOnPath est une instance de Transitway
(domain pathInSystem 1 Transitway) Transportation.kif 3320-3320 Le nombre 1 argument de pathInSystem est une instance de Transitway
(domain routeBetween 1 Transitway) Transportation.kif 3636-3636 Le nombre 1 argument de routeBetween est une instance de Transitway
(domain routeInSystem 1 Transitway) Transportation.kif 3340-3340 Le nombre 1 argument de routeInSystem est une instance de Transitway
(domain transitwayThroughputCapacity 1 Transitway) Transportation.kif 3911-3911 Le nombre 1 argument de transitwayThroughputCapacity est une instance de Transitway

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


(=>
    (and
        (instance ?GOING
            (TransitFn ?WAY))
        (instance ?WAY Transitway))
    (path ?GOING ?WAY))		 Transportation.kif 1737-1741
(=>
    (and
        (instance ?R1 Transitway)
        (instance ?R2 Transitway)
        (not
            (equal ?R1 ?R2))
        (connects ?J ?R1 ?R2))
    (instance ?J TransitwayJunction))		 Transportation.kif 3840-3847
(=>
    (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 3818-3838
(=>
    (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 3443-3453
(=>
    (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 3241-3265
(=>
    (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 3274-3298
(=>
    (instance ?WAY Transitway)
    (hasPurpose ?WAY
        (exists (?TRANSPORT)
            (and
                (instance ?TRANSPORT Translocation)
                (path ?TRANSPORT ?WAY)))))		 Merge.kif 14451-14457

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


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))		 Transportation.kif 3475-3479
(=>
    (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 3818-3838
(=>
    (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 3804-3816
(=>
    (instance ?J TransitwayJunction)
    (exists (?W1 ?W2)
        (and
            (instance ?W1 Transitway)
            (instance ?W2 Transitway)
            (connects ?J ?W1 ?W2)
            (not
                (equal ?W1 ?W2)))))		 Transportation.kif 3849-3857
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))		 Transportation.kif 3429-3434
(=>
    (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 3380-3394
(=>
    (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 3357-3371


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