| 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 e' uma sub-classe de Regiao |
| (subclass Transitway SelfConnectedObject) | Merge.kif 14266-14266 | Transitway e' uma sub-classe de Objeto auto-conectado |
| appearance as argument number 2 |
|
|
| (subclass AirTransitway Transitway) | Transportation.kif 1247-1247 | AirTransitway e' uma sub-classe de Transitway |
| (subclass Airway Transitway) | Mid-level-ontology.kif 11717-11717 | Airway e' uma sub-classe de Transitway |
| (subclass LandTransitway Transitway) | Merge.kif 14284-14284 | LandTransitway e' uma sub-classe de Transitway |
| (subclass Pipeline Transitway) | Transportation.kif 773-773 | Pipeline e' uma sub-classe de Transitway |
| (subclass TransitwayJunction Transitway) | Transportation.kif 2962-2962 | TransitwayJunction e' uma sub-classe de Transitway |
| (subclass Waterway Transitway) | Geography.kif 5576-5576 | Waterway e' uma sub-classe de Transitway |
| (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 | O argumento numero 1 de TransitFn e' uma instancia de Transitway |
| (domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 24363-24363 | O argumento numero 2 de distanceOnPath e' uma instancia de Transitway |
| (domain pathInSystem 1 Transitway) | Transportation.kif 2723-2723 | O argumento numero 1 de pathInSystem e' uma instancia de Transitway |
| (domain routeBetween 1 Transitway) | Transportation.kif 2903-2903 | O argumento numero 1 de routeBetween e' uma instancia de Transitway |
| (domain routeInSystem 1 Transitway) | Transportation.kif 2743-2743 | O argumento numero 1 de routeInSystem e' uma instancia de Transitway |
| (domain transitwayCapacityCount 1 Transitway) | Transportation.kif 3035-3035 | O argumento numero 1 de transitwayCapacityCount e' uma instancia de Transitway |
| (domain transitwayCapacityRate 1 Transitway) | Transportation.kif 3045-3045 | O argumento numero 1 de transitwayCapacityRate e' uma instancia de 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 2846-2856 |
|
| (=> (instance ?WAY Transitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Translocation) (path ?TRANSPORT ?WAY))))) |
Merge.kif 14276-14282 |
| consequent |
|
|
|
|
|