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 14313-14316
(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 14311-14311 Transitway è una sottoclasse di Regione
(subclass Transitway SelfConnectedObject) Merge.kif 14312-14312 Transitway è una sottoclasse di OggettoIntegro

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


(subclass AirTransitway Transitway) Transportation.kif 1247-1247 AirTransitway è una sottoclasse di Transitway
(subclass Airway Transitway) Mid-level-ontology.kif 11744-11744 Airway è una sottoclasse di Transitway
(subclass LandTransitway Transitway) Merge.kif 14330-14330 LandTransitway è una sottoclasse di Transitway
(subclass Pipeline Transitway) Transportation.kif 773-773 Pipeline è una sottoclasse di Transitway
(subclass TransitwayJunction Transitway) Transportation.kif 3014-3014 TransitwayJunction è una sottoclasse di Transitway
(subclass Waterway Transitway) Geography.kif 5576-5576 Waterway è una sottoclasse di Transitway
(termFormat ChineseLanguage Transitway "公交专用道") domainEnglishFormat.kif 58906-58906
(termFormat ChineseTraditionalLanguage Transitway "公交專用道") domainEnglishFormat.kif 58905-58905
(termFormat EnglishLanguage Transitway "transitway") domainEnglishFormat.kif 58904-58904

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


(domain TransitFn 1 Transitway) Transportation.kif 1603-1603 Il numero 1 argomenti di TransitFn è un istanza di Transitway
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 24420-24420 Il numero 2 argomenti di distanceOnPath è un istanza di Transitway
(domain pathInSystem 1 Transitway) Transportation.kif 2756-2756 Il numero 1 argomenti di pathInSystem è un istanza di Transitway
(domain routeBetween 1 Transitway) Transportation.kif 2954-2954 Il numero 1 argomenti di routeBetween è un istanza di Transitway
(domain routeInSystem 1 Transitway) Transportation.kif 2776-2776 Il numero 1 argomenti di routeInSystem è un istanza di Transitway
(domain transitwayCapacityCount 1 Transitway) Transportation.kif 3087-3087 Il numero 1 argomenti di transitwayCapacityCount è un istanza di Transitway
(domain transitwayCapacityRate 1 Transitway) Transportation.kif 3097-3097 Il numero 1 argomenti di transitwayCapacityRate è un istanza di Transitway

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 2879-2889
(=>
    (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 2911-2915
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))		 Transportation.kif 2865-2870
(=>
    (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 2816-2830
(=>
    (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 2793-2807


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