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 14289-14292 | |
(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 14287-14287 | Transitway est une sous-classe de r�gion |
(subclass Transitway SelfConnectedObject) | Merge.kif 14288-14288 | Transitway est une sous-classe de objet en une partie |
appearance as argument number 2 |
(subclass AirTransitway Transitway) | Transportation.kif 1247-1247 | AirTransitway est une sous-classe de Transitway |
(subclass Airway Transitway) | Mid-level-ontology.kif 11716-11716 | Airway est une sous-classe de Transitway |
(subclass LandTransitway Transitway) | Merge.kif 14306-14306 | LandTransitway est une sous-classe de Transitway |
(subclass Pipeline Transitway) | Transportation.kif 773-773 | Pipeline est une sous-classe de Transitway |
(subclass TransitwayJunction Transitway) | Transportation.kif 2962-2962 | TransitwayJunction est une sous-classe de Transitway |
(subclass Waterway Transitway) | Geography.kif 5576-5576 | Waterway est une sous-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 | Le nombre 1 argument de TransitFn est une instance de Transitway |
(domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 24362-24362 | Le nombre 2 argument de distanceOnPath est une instance de Transitway |
(domain pathInSystem 1 Transitway) | Transportation.kif 2723-2723 | Le nombre 1 argument de pathInSystem est une instance de Transitway |
(domain routeBetween 1 Transitway) | Transportation.kif 2903-2903 | Le nombre 1 argument de routeBetween est une instance de Transitway |
(domain routeInSystem 1 Transitway) | Transportation.kif 2743-2743 | Le nombre 1 argument de routeInSystem est une instance de Transitway |
(domain transitwayCapacityCount 1 Transitway) | Transportation.kif 3035-3035 | Le nombre 1 argument de transitwayCapacityCount est une instance de Transitway |
(domain transitwayCapacityRate 1 Transitway) | Transportation.kif 3045-3045 | Le nombre 1 argument de transitwayCapacityRate est une instance 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 14298-14304 |
consequent |