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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lengthOfUnclassifiedGaugeRailway

Sigma KEE - lengthOfUnclassifiedGaugeRailway
lengthOfUnclassifiedGaugeRailway

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


(documentation lengthOfUnclassifiedGaugeRailway EnglishLanguage "(lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH) means that the sum length of railway routes in the GeographicArea ?AREA classified as something other than broad, dual, narrow, or standard gauge is the LengthMeasure ?LENGTH.") Transportation.kif 285-289
(domain lengthOfUnclassifiedGaugeRailway 1 GeographicArea) Transportation.kif 282-282
(domain lengthOfUnclassifiedGaugeRailway 2 LengthMeasure) Transportation.kif 283-283
(instance lengthOfUnclassifiedGaugeRailway BinaryPredicate) Transportation.kif 281-281

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


(format EnglishLanguage lengthOfUnclassifiedGaugeRailway "%2 is %n a length of unclassified gauge railway of %1") domainEnglishFormat.kif 388-388
(termFormat EnglishLanguage lengthOfUnclassifiedGaugeRailway "length of unclassified gauge railway") domainEnglishFormat.kif 6091-6091

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


(<=>
    (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
(=>
    (and
        (lengthOfUnclassifiedGaugeRailway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY Railway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 305-313


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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