Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TrainStation

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 2066-2068
(externalImage TrainStation " pictures/ travel/ US_Road_Signs/ info/ train_station.png") pictureList.kif 792-792
(subclass TrainStation TerminalBuilding) Transportation.kif 2065-2065
(subclass TrainStation TransitTerminal) Transportation.kif 2916-2916

appearance as argument number 2

(termFormat ChineseLanguage TrainStation "火车站") domainEnglishFormat.kif 58751-58751
(termFormat ChineseTraditionalLanguage TrainStation "火車站") domainEnglishFormat.kif 58750-58750
(termFormat EnglishLanguage TrainStation "train station") domainEnglishFormat.kif 58749-58749

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners