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 EnglishLanguage totalLengthOfRailwaySystem "%2 is %n a total length of railway system of %1") domainEnglishFormat.kif 635-635
(termFormat EnglishLanguage totalLengthOfRailwaySystem "total length of railway system") domainEnglishFormat.kif 10188-10188 "total length of railway system" is the printable form of total length of railway system in english language

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