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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DualGauge

Sigma KEE - DualGauge
DualGauge

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 465-467
(instance DualGauge TrackGauge) Transportation.kif 464-464

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


(termFormat ChineseLanguage DualGauge "双规") domainEnglishFormat.kif 20622-20622
(termFormat ChineseLanguage DualGauge "双轨铁路") domainEnglishFormat.kif 20634-20634
(termFormat ChineseTraditionalLanguage DualGauge "雙規") domainEnglishFormat.kif 20621-20621
(termFormat ChineseTraditionalLanguage DualGauge "雙軌鐵路") domainEnglishFormat.kif 20633-20633
(termFormat EnglishLanguage DualGauge "dual gauge railway") domainEnglishFormat.kif 20632-20632
(termFormat EnglishLanguage DualGauge "dual gauge") domainEnglishFormat.kif 20620-20620

appearance as argument number 4
-------------------------


(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 391-391

consequent
-------------------------


(<=>
    (instance ?RR DualGaugeRailway)
    (property ?RR DualGauge))
Transportation.kif 469-471


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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