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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 459-461
(instance DualGauge TrackGauge) Transportation.kif 458-458 instance DualGauge and TrackGauge

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


(termFormat ChineseLanguage DualGauge "双规") domainEnglishFormat.kif 20551-20551 termFormat ChineseLanguage, DualGauge and "双规"
(termFormat ChineseTraditionalLanguage DualGauge "雙規") domainEnglishFormat.kif 20550-20550 termFormat ChineseTraditionalLanguage, DualGauge and "雙規"
(termFormat EnglishLanguage DualGauge "dual gauge") domainEnglishFormat.kif 20549-20549 termFormat EnglishLanguage, DualGauge and "dual gauge"

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


(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 388-388 contraryAttribute BroadGauge, StandardGauge, NarrowGauge and DualGauge

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


(<=>
    (instance ?RR DualGaugeRailway)
    (property ?RR DualGauge))
Transportation.kif 463-465 instance Entity and DualGaugeRailway property Entity and DualGauge


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