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 Il numero 1 argomenti di totalLengthOfRailwaySystem è un istanza di AreaGeografica
(domain totalLengthOfRailwaySystem 2 LengthMeasure) Transportation.kif 91-91 Il numero 2 argomenti di totalLengthOfRailwaySystem è un istanza di MisuraDiLunghezza
(instance totalLengthOfRailwaySystem BinaryPredicate) Transportation.kif 89-89 totalLengthOfRailwaySystem è un' istanza di PredicatoBinario

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

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


(<=>
    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105 totalLengthOfRailwaySystem AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(=>
    (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