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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - totalLengthOfRailwaySystem
totalLengthOfRailwaySystem

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


(documentation totalLengthOfRailwaySystem EnglishLanguage "(totalLengthOfRailwaySystem ?AREA ?LENGTH) means that the sum length of all railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.") Transportation.kif 93-96
(domain totalLengthOfRailwaySystem 1 GeographicArea) Transportation.kif 90-90
(domain totalLengthOfRailwaySystem 2 LengthMeasure) Transportation.kif 91-91
(instance totalLengthOfRailwaySystem BinaryPredicate) Transportation.kif 89-89

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


(format ChineseLanguage totalLengthOfRailwaySystem "%2 %n 是 %1 的 total 铁路系统长度") domainEnglishFormat.kif 2511-2511
(format ChineseTraditionalLanguage totalLengthOfRailwaySystem "%2 %n 是 %1 的 total 鐵路系統長度") domainEnglishFormat.kif 2510-2510
(format EnglishLanguage totalLengthOfRailwaySystem "%2 is %n a total length of railway system of %1") domainEnglishFormat.kif 2509-2509
(termFormat ChineseLanguage totalLengthOfRailwaySystem "铁路系统总长度") domainEnglishFormat.kif 58553-58553
(termFormat ChineseTraditionalLanguage totalLengthOfRailwaySystem "鐵路系統總長度") domainEnglishFormat.kif 58552-58552
(termFormat EnglishLanguage totalLengthOfRailwaySystem "total length of railway system") domainEnglishFormat.kif 58551-58551

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


(<=>
    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
(=>
    (and
        (totalLengthOfRailwaySystem ?AREA
            (MeasureFn ?LENGTH Mile))
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY Railway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 107-115


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 3.0 is open source software produced by Articulate Software and its partners