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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - RailTransportationSystem

appearance as argument number 1

(documentation RailTransportationSystem EnglishLanguage "RailTransportationSystem is the subclass of TransitSystems whose routes are Railways.") Transportation.kif 2079-2080
(externalImage RailTransportationSystem " commons/ 4/ 49/ Station-Stalingrad.jpg") pictureList.kif 965-965
(subclass RailTransportationSystem TransitSystem) Transportation.kif 2078-2078 铁路运输系统运输系统subclass

appearance as argument number 2

(subclass SubwaySystem RailTransportationSystem) Transportation.kif 318-318 地铁系统铁路运输系统subclass
(termFormat ChineseLanguage RailTransportationSystem "铁路运输系统") domainEnglishFormat.kif 48645-48645
(termFormat ChineseTraditionalLanguage RailTransportationSystem "鐵路運輸系統") domainEnglishFormat.kif 48644-48644
(termFormat EnglishLanguage RailTransportationSystem "rail transportation system") domainEnglishFormat.kif 48643-48643

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