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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RailTransportationSystem
RailTransportationSystem

appearance as argument number 1
-------------------------


(documentation RailTransportationSystem EnglishLanguage "RailTransportationSystem is the subclass of TransitSystems whose routes are Railways.") Transportation.kif 2071-2072
(externalImage RailTransportationSystem "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 49/ Station-Stalingrad.jpg") pictureList.kif 964-964
(subclass RailTransportationSystem TransitSystem) Transportation.kif 2070-2070

appearance as argument number 2
-------------------------


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


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