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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - DualGauge
DualGauge(dual gauge railway)

appearance as argument number 1

(documentation DualGauge EnglishLanguage "DualGauge is the attribute of any Railway that has three parallel rails, thus allowing two different gauges of rolling stock to travel over it.") Transportation.kif 459-461
(instance DualGauge TrackGauge) Transportation.kif 458-458 Dual gauge railway is an instance of track gauge

appearance as argument number 2

(termFormat ChineseLanguage DualGauge "双规") domainEnglishFormat.kif 20545-20545
(termFormat ChineseLanguage DualGauge "双轨铁路") domainEnglishFormat.kif 20557-20557
(termFormat ChineseTraditionalLanguage DualGauge "雙規") domainEnglishFormat.kif 20544-20544
(termFormat ChineseTraditionalLanguage DualGauge "雙軌鐵路") domainEnglishFormat.kif 20556-20556
(termFormat EnglishLanguage DualGauge "dual gauge railway") domainEnglishFormat.kif 20555-20555
(termFormat EnglishLanguage DualGauge "dual gauge") domainEnglishFormat.kif 20543-20543

appearance as argument number 4

(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 388-388 Broad gauge is the opposite of standard gauge


    (instance ?RR DualGaugeRailway)
    (property ?RR DualGauge))
Transportation.kif 463-465 An entity is an instance of DualGaugeRailway if and only if the entity the attribute dual gauge railway

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