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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lengthOfBroadGaugeRailway
lengthOfBroadGaugeRailway

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


(documentation lengthOfBroadGaugeRailway EnglishLanguage "(lengthOfBroadGaugeRailway ?AREA ?LENGTH) means that the sum length of broad gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.") Transportation.kif 174-177
(domain lengthOfBroadGaugeRailway 1 GeographicArea) Transportation.kif 171-171 The number 1 argument of length of broad gauge railway is an instance of geographic area
(domain lengthOfBroadGaugeRailway 2 LengthMeasure) Transportation.kif 172-172 The number 2 argument of length of broad gauge railway is an instance of length measure
(instance lengthOfBroadGaugeRailway BinaryPredicate) Transportation.kif 170-170 length of broad gauge railway is an instance of binary predicate

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


(format EnglishLanguage lengthOfBroadGaugeRailway "%2 is %n a length of broad gauge railway of %1") domainEnglishFormat.kif 377-377
(termFormat EnglishLanguage lengthOfBroadGaugeRailway "length of broad gauge railway") domainEnglishFormat.kif 6080-6080 "length of broad gauge railway" is the printable form of length of broad gauge railway in english language

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


(<=>
    (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
(=>
    (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