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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RailJunction
RailJunction

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


(documentation RailJunction EnglishLanguage "RailJunction is the subclass of TransitwayJunctions where two or more Railway lines come together.") Transportation.kif 2957-2958
(externalImage RailJunction "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 76/ Railroad-Gyula.jpg/ 120px-Railroad-Gyula.jpg") pictureList.kif 1228-1228
(subclass RailJunction Railway) Transportation.kif 2955-2955
(subclass RailJunction TransitwayJunction) Transportation.kif 2954-2954

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


(termFormat ChineseLanguage RailJunction "铁路枢纽") domainEnglishFormat.kif 48560-48560
(termFormat ChineseTraditionalLanguage RailJunction "鐵路樞紐") domainEnglishFormat.kif 48559-48559
(termFormat EnglishLanguage RailJunction "rail junction") domainEnglishFormat.kif 48558-48558


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