TrainStation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TrainStation TerminalBuilding)	Transportation.kif 2225-2225	Train station is a subclass of terminal building
(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 2226-2228	Train station is a subclass of terminal building
(subclass TrainStation TransitTerminal)	Transportation.kif 4222-4222	Train station is a subclass of transit terminal
(externalImage TrainStation "http://articulatesoftware.com/SUMOpictures/ travel/ US_Road_Signs/ info/ train_station.png")	pictureList.kif 792-792	Train station is a subclass of transit terminal

appearance as argument number 2

(termFormat EnglishLanguage TrainStation "train station")	domainEnglishFormat.kif 58783-58783
(termFormat ChineseTraditionalLanguage TrainStation "火車站")	domainEnglishFormat.kif 58784-58784
(termFormat ChineseLanguage TrainStation "火车站")	domainEnglishFormat.kif 58785-58785

antecedent

(=>
    (instance ?TS TrainStation)
    (exists (?RT)
        (and
            (instance ?RT RailwayTerminal)
            (located ?TS ?RT))))

If X is an instance of train station, then there exists Y such that Y is an instance of railway terminal and X is located at Y