|
|
   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 e' uma sub-classe de Regiao |
| (subclass Transitway SelfConnectedObject) | Merge.kif 14312-14312 | 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 11744-11744 | Airway e' uma sub-classe de Transitway |
| (subclass LandTransitway Transitway) | Merge.kif 14330-14330 | 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 3014-3014 | 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 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 | O argumento numero 1 de TransitFn e' uma instancia de Transitway |
| (domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 24420-24420 | O argumento numero 2 de distanceOnPath e' uma instancia de Transitway |
| (domain pathInSystem 1 Transitway) | Transportation.kif 2756-2756 | O argumento numero 1 de pathInSystem e' uma instancia de Transitway |
| (domain routeBetween 1 Transitway) | Transportation.kif 2954-2954 | O argumento numero 1 de routeBetween e' uma instancia de Transitway |
| (domain routeInSystem 1 Transitway) | Transportation.kif 2776-2776 | O argumento numero 1 de routeInSystem e' uma instancia de Transitway |
| (domain transitwayCapacityCount 1 Transitway) | Transportation.kif 3087-3087 | O argumento numero 1 de transitwayCapacityCount e' uma instancia de Transitway |
| (domain transitwayCapacityRate 1 Transitway) | Transportation.kif 3097-3097 | 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 2879-2889 |
|
| (=> (instance ?WAY Transitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Translocation) (path ?TRANSPORT ?WAY))))) |
Merge.kif 14322-14328 |
| consequent |
|
|
|
|
|
