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 3779-3780
(externalImage RailJunction "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 76/ Railroad-Gyula.jpg/ 120px-Railroad-Gyula.jpg") pictureList.kif 1227-1227
(subclass RailJunction Railway) Transportation.kif 3777-3777 Rail junction is a subclass of railway
(subclass RailJunction TransitwayJunction) Transportation.kif 3776-3776 Rail junction is a subclass of transitway junction

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


(termFormat ChineseLanguage RailJunction "铁路枢纽") domainEnglishFormat.kif 48672-48672
(termFormat ChineseTraditionalLanguage RailJunction "鐵路樞紐") domainEnglishFormat.kif 48671-48671
(termFormat EnglishLanguage RailJunction "rail junction") domainEnglishFormat.kif 48670-48670


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