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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 鐵路系統總長度, 1 and GeographicArea
(domain totalLengthOfRailwaySystem 2 LengthMeasure) Transportation.kif 91-91 鐵路系統總長度, 2 and LengthMeasure
(instance totalLengthOfRailwaySystem BinaryPredicate) Transportation.kif 89-89 鐵路系統總長度 and BinaryPredicate

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 58586-58586
(termFormat ChineseTraditionalLanguage totalLengthOfRailwaySystem "鐵路系統總長度") domainEnglishFormat.kif 58585-58585
(termFormat EnglishLanguage totalLengthOfRailwaySystem "total length of railway system") domainEnglishFormat.kif 58584-58584


    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
        (KappaFn ?RAILWAYS
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105 LengthMeasure GeographicAreatotal 鐵路系統長度 length 卡帕 SymbolicString and SymbolicString and 鐵路 位於 SymbolicString and GeographicArea and LengthMeasure
        (totalLengthOfRailwaySystem ?AREA
            (MeasureFn ?LENGTH Mile))
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
            (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