| 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 | |
| (subclass Transitway SelfConnectedObject) | Merge.kif 14312-14312 |
| appearance as argument number 2 |
|
|
| (subclass AirTransitway Transitway) | Transportation.kif 1247-1247 | |
| (subclass Airway Transitway) | Mid-level-ontology.kif 11744-11744 | |
| (subclass LandTransitway Transitway) | Merge.kif 14330-14330 | |
| (subclass Pipeline Transitway) | Transportation.kif 773-773 | |
| (subclass TransitwayJunction Transitway) | Transportation.kif 3014-3014 | |
| (subclass Waterway Transitway) | Geography.kif 5576-5576 | |
| (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 | |
| (domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 24420-24420 | |
| (domain pathInSystem 1 Transitway) | Transportation.kif 2756-2756 | |
| (domain routeBetween 1 Transitway) | Transportation.kif 2954-2954 | |
| (domain routeInSystem 1 Transitway) | Transportation.kif 2776-2776 | |
| (domain transitwayCapacityCount 1 Transitway) | Transportation.kif 3087-3087 | |
| (domain transitwayCapacityRate 1 Transitway) | Transportation.kif 3097-3097 |
| 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 |
|
|
| (=> (and (instance ?SYSTEM TransitSystem) (systemPart ?PART ?SYSTEM)) (instance ?PART Transitway)) |
Transportation.kif 2911-2915 | |
| (=> (instance ?SYSTEM TransitSystem) (exists (?ROUTE) (and (instance ?ROUTE Transitway) (part ?ROUTE ?SYSTEM)))) |
Transportation.kif 2865-2870 | |
| (=> (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 2816-2830 | |
| (=> (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 2793-2807 |
|
|
|