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 and Railway
(subclass RailJunction TransitwayJunction) Transportation.kif 2954-2954 subclass RailJunction and TransitwayJunction

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