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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RailJunction
RailJunction(rail junction)

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 Rail junction is a subclass of railway
(subclass RailJunction TransitwayJunction) Transportation.kif 2954-2954 Rail junction is a subclass of transitway junction

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


(termFormat ChineseLanguage RailJunction "铁路枢纽") domainEnglishFormat.kif 48530-48530
(termFormat ChineseTraditionalLanguage RailJunction "鐵路樞紐") domainEnglishFormat.kif 48529-48529
(termFormat EnglishLanguage RailJunction "rail junction") domainEnglishFormat.kif 48528-48528


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners