RoadTransportationSystem(road transportation system)![]() |
appearance as argument number 1 |
![]() |
(documentation RoadTransportationSystem EnglishLanguage "RoadTransportationSystem is the subclass of TransportationSystems whose routes are Roadways.") | Transportation.kif 2261-2262 | |
(externalImage RoadTransportationSystem "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 11/ North_lantau_highway.jpg") | pictureList.kif 968-968 | |
(subclass RoadTransportationSystem TransitSystem) | Transportation.kif 2260-2260 | Road transportation system is a subclass of transit system |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage RoadTransportationSystem "公路运输系统") | domainEnglishFormat.kif 50225-50225 | |
(termFormat ChineseTraditionalLanguage RoadTransportationSystem "公路運輸系統") | domainEnglishFormat.kif 50224-50224 | |
(termFormat EnglishLanguage RoadTransportationSystem "road transportation system") | domainEnglishFormat.kif 50223-50223 |
antecedent |
![]() |
(=> (and (instance ?S RoadTransportationSystem) (routeInSystem ?P ?S)) (instance ?P Roadway)) |
Transportation.kif 2264-2268 |
|
![]() |
![]() |