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 | Transitway は 地域 の subclass では %n |
(subclass Transitway SelfConnectedObject) | Merge.kif 14266-14266 | Transitway は 自己接続オブジェクト の subclass では %n |
appearance as argument number 2 |
(subclass AirTransitway Transitway) | Transportation.kif 1247-1247 | AirTransitway は Transitway の subclass では %n |
(subclass Airway Transitway) | Mid-level-ontology.kif 11717-11717 | Airway は Transitway の subclass では %n |
(subclass LandTransitway Transitway) | Merge.kif 14284-14284 | LandTransitway は Transitway の subclass では %n |
(subclass Pipeline Transitway) | Transportation.kif 773-773 | Pipeline は Transitway の subclass では %n |
(subclass TransitwayJunction Transitway) | Transportation.kif 2962-2962 | TransitwayJunction は Transitway の subclass では %n |
(subclass Waterway Transitway) | Geography.kif 5576-5576 | Waterway は Transitway の subclass では %n |
(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 | TransitFn の数値 1 引数は Transitway の instance では %n |
(domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 24363-24363 | distanceOnPath の数値 2 引数は Transitway の instance では %n |
(domain pathInSystem 1 Transitway) | Transportation.kif 2723-2723 | pathInSystem の数値 1 引数は Transitway の instance では %n |
(domain routeBetween 1 Transitway) | Transportation.kif 2903-2903 | routeBetween の数値 1 引数は Transitway の instance では %n |
(domain routeInSystem 1 Transitway) | Transportation.kif 2743-2743 | routeInSystem の数値 1 引数は Transitway の instance では %n |
(domain transitwayCapacityCount 1 Transitway) | Transportation.kif 3035-3035 | transitwayCapacityCount の数値 1 引数は Transitway の instance では %n |
(domain transitwayCapacityRate 1 Transitway) | Transportation.kif 3045-3045 | transitwayCapacityRate の数値 1 引数は Transitway の instance では %n |
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 |