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 is a subclass of region |
(subclass Transitway SelfConnectedObject) | Merge.kif 14312-14312 | Transitway is a subclass of self connected object |
appearance as argument number 2 |
(subclass AirTransitway Transitway) | Transportation.kif 1247-1247 | Air transitway is a subclass of transitway |
(subclass Airway Transitway) | Mid-level-ontology.kif 11744-11744 | Airway is a subclass of transitway |
(subclass LandTransitway Transitway) | Merge.kif 14330-14330 | Land transitway is a subclass of transitway |
(subclass Pipeline Transitway) | Transportation.kif 773-773 | Pipeline is a subclass of transitway |
(subclass TransitwayJunction Transitway) | Transportation.kif 3014-3014 | Transitway junction is a subclass of transitway |
(subclass Waterway Transitway) | Geography.kif 5576-5576 | Waterway is a subclass of 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 | The number 1 argument of transit is an instance of transitway |
(domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 24420-24420 | The number 2 argument of distance on path is an instance of transitway |
(domain pathInSystem 1 Transitway) | Transportation.kif 2756-2756 | The number 1 argument of path in system is an instance of transitway |
(domain routeBetween 1 Transitway) | Transportation.kif 2954-2954 | The number 1 argument of route between is an instance of transitway |
(domain routeInSystem 1 Transitway) | Transportation.kif 2776-2776 | The number 1 argument of route in system is an instance of transitway |
(domain transitwayCapacityCount 1 Transitway) | Transportation.kif 3087-3087 | The number 1 argument of transitway capacity count is an instance of transitway |
(domain transitwayCapacityRate 1 Transitway) | Transportation.kif 3097-3097 | The number 1 argument of transitway capacity rate is an instance of transitway |
antecedent |
consequent |