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 The number 1 argument of total length of railway system is an instance of geographic area
(domain totalLengthOfRailwaySystem 2 LengthMeasure) Transportation.kif 91-91 The number 2 argument of total length of railway system is an instance of length measure
(instance totalLengthOfRailwaySystem BinaryPredicate) Transportation.kif 89-89 total length of railway system is an instance of binary predicate

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


(format ChineseLanguage totalLengthOfRailwaySystem "%2 %n 是 %1 的 total 铁路系统长度") domainEnglishFormat.kif 2507-2507
(format ChineseTraditionalLanguage totalLengthOfRailwaySystem "%2 %n 是 %1 的 total 鐵路系統長度") domainEnglishFormat.kif 2506-2506
(format EnglishLanguage totalLengthOfRailwaySystem "%2 is %n a total length of railway system of %1") domainEnglishFormat.kif 2505-2505
(termFormat ChineseLanguage totalLengthOfRailwaySystem "铁路系统总长度") domainEnglishFormat.kif 58467-58467
(termFormat ChineseTraditionalLanguage totalLengthOfRailwaySystem "鐵路系統總長度") domainEnglishFormat.kif 58466-58466
(termFormat EnglishLanguage totalLengthOfRailwaySystem "total length of railway system") domainEnglishFormat.kif 58465-58465

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


(<=>
    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105 A length measure is a total length of railway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=>
    (and
        (totalLengthOfRailwaySystem ?AREA ?LENGTH)
        (greaterThan ?LENGTH 0))
    (exists (?RAILWAY)
        (and
            (instance ?RAILWAY Railway)
            (located ?RAILWAY ?AREA))))
Transportation.kif 107-114


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