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 DualGaugeRailwayRailwaysubclass では %n

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 エンティティーDualGaugeRailwayinstance では %n エンティティー には attribute DualGauge %n{ない}

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


(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 207-214 lengthOfDualGaugeRailway 地理的地域 and 長さ測定 エンティティー classlength 長さ測定 では
(<=>
    (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 地理的地域 and 長さ測定 エンティティー classlength 長さ測定 では
(=>
    (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