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 2979-2980
(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 2977-2977
(subclass RailJunction TransitwayJunction) Transportation.kif 2976-2976

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


(termFormat ChineseLanguage RailJunction "铁路枢纽") domainEnglishFormat.kif 48632-48632
(termFormat ChineseTraditionalLanguage RailJunction "鐵路樞紐") domainEnglishFormat.kif 48631-48631
(termFormat EnglishLanguage RailJunction "rail junction") domainEnglishFormat.kif 48630-48630


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