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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14014-14017
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ PlanMetroNY2.png") pictureList.kif 12058-12058
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/en/9/97/ Sydney_Tway_Network.png") pictureList.kif 10314-10314
(subclass Transitway Region) Merge.kif 14012-14012 公交专用道地区subclass
(subclass Transitway SelfConnectedObject) Merge.kif 14013-14013 公交专用道自身连接物体subclass

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


(subclass AirTransitway Transitway) Transportation.kif 1247-1247 空中运输通道公交专用道subclass
(subclass Airway Transitway) Mid-level-ontology.kif 11198-11198 空中航线公交专用道subclass
(subclass LandTransitway Transitway) Merge.kif 14019-14019 陆地过境通道公交专用道subclass
(subclass Pipeline Transitway) Transportation.kif 773-773 管道公交专用道subclass
(subclass TransitwayJunction Transitway) Transportation.kif 2969-2969 临时路口公交专用道subclass
(subclass Waterway Transitway) Geography.kif 5474-5474 水路公交专用道subclass
(termFormat ChineseLanguage Transitway "公交专用道") domainEnglishFormat.kif 58871-58871
(termFormat ChineseTraditionalLanguage Transitway "公交專用道") domainEnglishFormat.kif 58870-58870
(termFormat EnglishLanguage Transitway "transitway") domainEnglishFormat.kif 58869-58869

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


(domain TransitFn 1 Transitway) Transportation.kif 1603-1603 过境 的 1 数量 是 公交专用道instance
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 23736-23736 distanceOnPath 的 2 数量 是 公交专用道instance
(domain pathInSystem 1 Transitway) Transportation.kif 2730-2730 系统中的路径 的 1 数量 是 公交专用道instance
(domain routeBetween 1 Transitway) Transportation.kif 2910-2910 之间的路线 的 1 数量 是 公交专用道instance
(domain routeInSystem 1 Transitway) Transportation.kif 2750-2750 系统路线 的 1 数量 是 公交专用道instance
(domain transitwayCapacityCount 1 Transitway) Transportation.kif 3042-3042 过境通行能力计数 的 1 数量 是 公交专用道instance
(domain transitwayCapacityRate 1 Transitway) Transportation.kif 3052-3052 过境通行能力 的 1 数量 是 公交专用道instance

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 2853-2863
(=>
    (instance ?WAY Transitway)
    (hasPurpose ?WAY
        (exists (?TRANSPORT)
            (and
                (instance ?TRANSPORT Transportation)
                (path ?TRANSPORT ?WAY)))))
Merge.kif 14024-14030

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


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))
Transportation.kif 2887-2891
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))
Transportation.kif 2839-2844
(=>
    (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 2790-2804
(=>
    (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 2767-2781


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