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 13266-13269
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ PlanMetroNY2.png") pictureList.kif 12069-12069
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/en/9/97/ Sydney_Tway_Network.png") pictureList.kif 10325-10325
(subclass Transitway Region) Merge.kif 13264-13264 subclass Transitway and Region
(subclass Transitway SelfConnectedObject) Merge.kif 13265-13265 subclass Transitway and SelfConnectedObject

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


(subclass AirTransitway Transitway) Transportation.kif 1236-1236 subclass AirTransitway and Transitway
(subclass Airway Transitway) Mid-level-ontology.kif 9934-9934 subclass Airway and Transitway
(subclass LandTransitway Transitway) Merge.kif 13271-13271 subclass LandTransitway and Transitway
(subclass Pipeline Transitway) Transportation.kif 762-762 subclass Pipeline and Transitway
(subclass TransitwayJunction Transitway) Transportation.kif 2940-2940 subclass TransitwayJunction and Transitway
(subclass Waterway Transitway) Geography.kif 5268-5268 subclass Waterway and Transitway
(termFormat ChineseLanguage Transitway "公交专用道") domainEnglishFormat.kif 58822-58822
(termFormat ChineseTraditionalLanguage Transitway "公交專用道") domainEnglishFormat.kif 58821-58821
(termFormat EnglishLanguage Transitway "transitway") domainEnglishFormat.kif 58820-58820

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


(domain TransitFn 1 Transitway) Transportation.kif 1588-1588 domain TransitFn, 1 and Transitway
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 22127-22127 domain distanceOnPath, 2 and Transitway
(domain pathInSystem 1 Transitway) Transportation.kif 2701-2701 domain pathInSystem, 1 and Transitway
(domain routeBetween 1 Transitway) Transportation.kif 2881-2881 domain routeBetween, 1 and Transitway
(domain routeInSystem 1 Transitway) Transportation.kif 2721-2721 domain routeInSystem, 1 and Transitway
(domain transitwayCapacityCount 1 Transitway) Transportation.kif 3013-3013 domain transitwayCapacityCount, 1 and Transitway
(domain transitwayCapacityRate 1 Transitway) Transportation.kif 3023-3023 domain transitwayCapacityRate, 1 and Transitway

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


(=>
    (and
        (instance ?GOING
            (TransitFn ?WAY))
        (instance ?WAY Transitway))
    (path ?GOING ?WAY))
Transportation.kif 1594-1598
(=>
    (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 2824-2834
(=>
    (instance ?WAY Transitway)
    (hasPurpose ?WAY
        (exists (?TRANSPORT)
            (and
                (instance ?TRANSPORT Transportation)
                (path ?TRANSPORT ?WAY)))))
Merge.kif 13276-13282

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


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))
Transportation.kif 2858-2862
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))
Transportation.kif 2810-2815
(=>
    (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 2761-2775
(=>
    (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 2738-2752


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