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 domain lengthOfBroadGaugeRailway, 1 and GeographicArea
(domain lengthOfBroadGaugeRailway 2 LengthMeasure) Transportation.kif 172-172 domain lengthOfBroadGaugeRailway, 2 and LengthMeasure
(instance lengthOfBroadGaugeRailway BinaryPredicate) Transportation.kif 170-170 instance lengthOfBroadGaugeRailway and BinaryPredicate

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


(format ChineseLanguage lengthOfBroadGaugeRailway "%2 %n 是 %1 的轨道 length ") domainEnglishFormat.kif 1475-1475
(format ChineseTraditionalLanguage lengthOfBroadGaugeRailway "%2 %n 是 %1 的軌道 length ") domainEnglishFormat.kif 1474-1474
(format EnglishLanguage lengthOfBroadGaugeRailway "%2 is %n a length of broad gauge railway of %1") domainEnglishFormat.kif 1473-1473
(termFormat ChineseLanguage lengthOfBroadGaugeRailway "宽轨铁路的长度") domainEnglishFormat.kif 33883-33883 termFormat ChineseLanguage, lengthOfBroadGaugeRailway and "宽轨铁路的长度"
(termFormat ChineseTraditionalLanguage lengthOfBroadGaugeRailway "寬軌鐵路的長度") domainEnglishFormat.kif 33882-33882 termFormat ChineseTraditionalLanguage, lengthOfBroadGaugeRailway and "寬軌鐵路的長度"
(termFormat EnglishLanguage lengthOfBroadGaugeRailway "length of broad gauge railway") domainEnglishFormat.kif 33881-33881 termFormat EnglishLanguage, lengthOfBroadGaugeRailway and "length of broad gauge railway"

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


(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 179-186 lengthOfBroadGaugeRailway GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and BroadGaugeRailway located SymbolicString and GeographicArea and LengthMeasure
(=>
    (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