| 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 14267-14270 | |
| (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 14265-14265 | 子類 公交專用道 and Region |
| (subclass Transitway SelfConnectedObject) | Merge.kif 14266-14266 | 子類 公交專用道 and SelfConnectedObject |
| appearance as argument number 2 |
|
|
| (subclass AirTransitway Transitway) | Transportation.kif 1247-1247 | 子類 空中運輸通道 and 公交專用道 |
| (subclass Airway Transitway) | Mid-level-ontology.kif 11717-11717 | 子類 空中航線 and 公交專用道 |
| (subclass LandTransitway Transitway) | Merge.kif 14284-14284 | 子類 陸地過境通道 and 公交專用道 |
| (subclass Pipeline Transitway) | Transportation.kif 773-773 | 子類 管道 and 公交專用道 |
| (subclass TransitwayJunction Transitway) | Transportation.kif 2962-2962 | 子類 臨時路口 and 公交專用道 |
| (subclass Waterway Transitway) | Geography.kif 5576-5576 | 子類 水路 and 公交專用道 |
| (termFormat ChineseLanguage Transitway "公交专用道") | domainEnglishFormat.kif 58904-58904 | |
| (termFormat ChineseTraditionalLanguage Transitway "公交專用道") | domainEnglishFormat.kif 58903-58903 | |
| (termFormat EnglishLanguage Transitway "transitway") | domainEnglishFormat.kif 58902-58902 |
| appearance as argument number 3 |
|
|
| (domain TransitFn 1 Transitway) | Transportation.kif 1603-1603 | 域 過境, 1 and 公交專用道 |
| (domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 24363-24363 | 域 distanceOnPath, 2 and 公交專用道 |
| (domain pathInSystem 1 Transitway) | Transportation.kif 2723-2723 | 域 系統中的路徑, 1 and 公交專用道 |
| (domain routeBetween 1 Transitway) | Transportation.kif 2903-2903 | 域 之間的路線, 1 and 公交專用道 |
| (domain routeInSystem 1 Transitway) | Transportation.kif 2743-2743 | 域 系統路線, 1 and 公交專用道 |
| (domain transitwayCapacityCount 1 Transitway) | Transportation.kif 3035-3035 | 域 過境通行能力計數, 1 and 公交專用道 |
| (domain transitwayCapacityRate 1 Transitway) | Transportation.kif 3045-3045 | 域 過境通行能力, 1 and 公交專用道 |
| 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 2846-2856 | |
| (=> (instance ?WAY Transitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Translocation) (path ?TRANSPORT ?WAY))))) |
Merge.kif 14276-14282 |
| consequent |
|
|
| (=> (and (instance ?SYSTEM TransitSystem) (systemPart ?PART ?SYSTEM)) (instance ?PART Transitway)) |
Transportation.kif 2880-2884 | |
| (=> (instance ?SYSTEM TransitSystem) (exists (?ROUTE) (and (instance ?ROUTE Transitway) (part ?ROUTE ?SYSTEM)))) |
Transportation.kif 2832-2837 | |
| (=> (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 2783-2797 | |
| (=> (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 2760-2774 |
|
|
|