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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BroadGaugeRailway
BroadGaugeRailway(broad gauge railway)broad_gauge, broad_gauge_railway, 宽轨铁路, 寬軌鐵路

appearance as argument number 1
-------------------------


(subclass BroadGaugeRailway Railway) Transportation.kif 350-350 Broad gauge railway is a subclass of railway

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


(termFormat ChineseLanguage BroadGaugeRailway "宽轨铁路") domainEnglishFormat.kif 11995-11995 "宽轨铁路" is the printable form of broad gauge railway in ChineseLanguage
(termFormat ChineseTraditionalLanguage BroadGaugeRailway "寬軌鐵路") domainEnglishFormat.kif 11994-11994 "寬軌鐵路" is the printable form of broad gauge railway in ChineseTraditionalLanguage
(termFormat EnglishLanguage BroadGaugeRailway "broad gauge railway") domainEnglishFormat.kif 11993-11993 "broad gauge railway" is the printable form of broad gauge railway in english language

antecedent
-------------------------


(<=>
    (instance ?RR BroadGaugeRailway)
    (property ?RR BroadGauge))
Transportation.kif 407-409 An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge

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


(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 179-186 A length measure is a length of broad gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(<=>
    (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (located ?RAILWAYS ?AREA)
                (not
                    (instance ?RAILWAYS
                        (UnionFn StandardGaugeRailway
                            (UnionFn BroadGaugeRailway
                                (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))
Transportation.kif 291-303 A length measure is a length of unclassified gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=>
    (and
        (lengthOfBroadGaugeRailway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY BroadGaugeRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 188-196


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