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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DualGaugeRailway
DualGaugeRailway

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


(subclass DualGaugeRailway Railway) Transportation.kif 351-351 subclass DualGaugeRailway and Railway

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


(termFormat ChineseLanguage DualGaugeRailway "双轨铁路") domainEnglishFormat.kif 20563-20563 termFormat ChineseLanguage, DualGaugeRailway and "双轨铁路"
(termFormat ChineseTraditionalLanguage DualGaugeRailway "雙軌鐵路") domainEnglishFormat.kif 20562-20562 termFormat ChineseTraditionalLanguage, DualGaugeRailway and "雙軌鐵路"
(termFormat EnglishLanguage DualGaugeRailway "dual gauge railway") domainEnglishFormat.kif 20561-20561 termFormat EnglishLanguage, DualGaugeRailway and "dual gauge railway"

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


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

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


(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 207-214 lengthOfDualGaugeRailway GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and DualGaugeRailway located SymbolicString and GeographicArea and LengthMeasure
(<=>
    (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 lengthOfUnclassifiedGaugeRailway GeographicArea and LengthMeasure length KappaFn SymbolicString and located SymbolicString and GeographicArea instance SymbolicString and UnionFn StandardGaugeRailway and UnionFn BroadGaugeRailway and UnionFn DualGaugeRailway and NarrowGaugeRailway and LengthMeasure
(=>
    (and
        (lengthOfDualGaugeRailway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY DualGaugeRailway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 216-224


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