UniModalTransitSystem |
appearance as argument number 1 |
(documentation UniModalTransitSystem EnglishLanguage "UniModalTransitSystem is the class of TransitSystems that accommodate a single type of transportation device or method.") | Transportation.kif 2889-2891 | |
(subclass UniModalTransitSystem TransitSystem) | Transportation.kif 2888-2888 |
appearance as argument number 2 |
(termFormat ChineseLanguage UniModalTransitSystem "单一运输系统") | domainEnglishFormat.kif 59984-59984 | |
(termFormat ChineseTraditionalLanguage UniModalTransitSystem "單一運輸系統") | domainEnglishFormat.kif 59983-59983 | |
(termFormat EnglishLanguage UniModalTransitSystem "uni modal transit system") | domainEnglishFormat.kif 59982-59982 |