|
|
   RoadTransportationSystem
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RoadTransportationSystem EnglishLanguage "RoadTransportationSystem is the subclass of TransportationSystems whose routes are Roadways.") | Transportation.kif 2092-2093 | |
| (externalImage RoadTransportationSystem "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 11/ North_lantau_highway.jpg") | pictureList.kif 968-968 | |
| (subclass RoadTransportationSystem TransitSystem) | Transportation.kif 2091-2091 | Road transportation system is a subclass of transit system |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RoadTransportationSystem "公路运输系统") | domainEnglishFormat.kif 50194-50194 | |
| (termFormat ChineseTraditionalLanguage RoadTransportationSystem "公路運輸系統") | domainEnglishFormat.kif 50193-50193 | |
| (termFormat EnglishLanguage RoadTransportationSystem "road transportation system") | domainEnglishFormat.kif 50192-50192 |
| antecedent |
|
|
| (=> (and (instance ?S RoadTransportationSystem) (routeInSystem ?P ?S)) (instance ?P Roadway)) |
Transportation.kif 2095-2099 |
|
|
|
|
