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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RailTransportationSystem

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 铁路运输系统运输系统subclass

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


(subclass SubwaySystem RailTransportationSystem) Transportation.kif 318-318 地铁系统铁路运输系统subclass
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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