| TrainStation(train station)
| | railroad_station, railroad_terminal, railway_station, train_depot, train_station |
| appearance as argument number 1 |
|
|
| (documentation TrainStation EnglishLanguage "TrainStation is the subclass of Buildings that are located at a RailwayTerminal and used in support of its functions, especially for the handling of passengers and freight.") | Transportation.kif 2206-2208 | |
| (externalImage TrainStation "http://articulatesoftware.com/SUMOpictures/ travel/ US_Road_Signs/ info/ train_station.png") | pictureList.kif 792-792 | |
| (subclass TrainStation TerminalBuilding) | Transportation.kif 2205-2205 | Train station is a subclass of terminal building |
| (subclass TrainStation TransitTerminal) | Transportation.kif 3676-3676 | Train station is a subclass of transit terminal |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TrainStation "火车站") | domainEnglishFormat.kif 58821-58821 | |
| (termFormat ChineseTraditionalLanguage TrainStation "火車站") | domainEnglishFormat.kif 58820-58820 | |
| (termFormat EnglishLanguage TrainStation "train station") | domainEnglishFormat.kif 58819-58819 |
| antecedent |
|
|
| (=> (instance ?TS TrainStation) (exists (?RT) (and (instance ?RT RailwayTerminal) (located ?TS ?RT)))) |
Transportation.kif 3678-3683 |
|
|
|
|