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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lengthOfDualGaugeRailway
lengthOfDualGaugeRailway

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


(documentation lengthOfDualGaugeRailway EnglishLanguage "(lengthOfDualGaugeRailway ?AREA ?LENGTH) means that the sum length of dual gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.") Transportation.kif 202-205
(domain lengthOfDualGaugeRailway 1 GeographicArea) Transportation.kif 199-199
(domain lengthOfDualGaugeRailway 2 LengthMeasure) Transportation.kif 200-200
(instance lengthOfDualGaugeRailway BinaryPredicate) Transportation.kif 198-198

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


(format EnglishLanguage lengthOfDualGaugeRailway "%2 is %n a length of dual gauge railway of %1") domainEnglishFormat.kif 379-379
(termFormat EnglishLanguage lengthOfDualGaugeRailway "length of dual gauge railway") domainEnglishFormat.kif 6082-6082

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


(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 207-214
(=>
    (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