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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - totalLengthOfHighwaySystem
totalLengthOfHighwaySystem

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


(documentation totalLengthOfHighwaySystem EnglishLanguage "(totalLengthOfHighwaySystem ?AREA ?LENGTH) means that the total length of the highway system in the GeographicArea ?AREA is ?LENGTH. The figure includes both paved and unpaved roads.") Transportation.kif 473-476
(domain totalLengthOfHighwaySystem 1 GeographicArea) Transportation.kif 471-471 domain totalLengthOfHighwaySystem, 1 and GeographicArea
(domain totalLengthOfHighwaySystem 2 LengthMeasure) Transportation.kif 472-472 domain totalLengthOfHighwaySystem, 2 and LengthMeasure
(instance totalLengthOfHighwaySystem BinaryPredicate) Transportation.kif 470-470 instance totalLengthOfHighwaySystem and BinaryPredicate

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


(format ChineseLanguage totalLengthOfHighwaySystem "%2 %n 是 %1 的 total 高速公路系统长度") domainEnglishFormat.kif 2503-2503
(format ChineseTraditionalLanguage totalLengthOfHighwaySystem "%2 %n 是 %1 的 total 高速公路系統長度") domainEnglishFormat.kif 2502-2502
(format EnglishLanguage totalLengthOfHighwaySystem "%2 is %n a total length of highway system of %1") domainEnglishFormat.kif 2501-2501
(termFormat ChineseLanguage totalLengthOfHighwaySystem "公路系统总长度") domainEnglishFormat.kif 58519-58519 termFormat ChineseLanguage, totalLengthOfHighwaySystem and "公路系统总长度"
(termFormat ChineseTraditionalLanguage totalLengthOfHighwaySystem "公路系統總長度") domainEnglishFormat.kif 58518-58518 termFormat ChineseTraditionalLanguage, totalLengthOfHighwaySystem and "公路系統總長度"
(termFormat EnglishLanguage totalLengthOfHighwaySystem "total length of highway system") domainEnglishFormat.kif 58517-58517 termFormat EnglishLanguage, totalLengthOfHighwaySystem and "total length of highway system"

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


(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 478-485 totalLengthOfHighwaySystem GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and Roadway located SymbolicString and GeographicArea and LengthMeasure
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY Roadway)
            (located ?HIGHWAY ?AREA))))
Transportation.kif 487-495
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (lengthOfPavedHighway ?AREA
            (MeasureFn ?LENGTH1 ?UNIT))
        (lengthOfUnpavedHighway ?AREA
            (MeasureFn ?LENGTH2 ?UNIT))
        (instance ?UNIT UnitOfLength))
    (totalLengthOfHighwaySystem ?AREA
        (MeasureFn
            (AdditionFn ?LENGTH1 ?LENGTH2) ?UNIT)))
Transportation.kif 504-511
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA ?LENGTH)
        (lengthOfPavedHighway ?AREA ?LENGTH1)
        (lengthOfUnpavedHighway ?AREA ?LENGTH2))
    (equal ?LENGTH
        (AdditionFn ?LENGTH1 ?LENGTH2)))
Transportation.kif 497-502
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA ?TOTAL)
        (lengthOfPavedHighway ?AREA ?PAVED))
    (greaterThanOrEqualTo ?TOTAL ?PAVED))
Transportation.kif 513-517
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA ?TOTAL)
        (lengthOfUnpavedHighway ?AREA ?UNPAVED))
    (greaterThanOrEqualTo ?TOTAL ?UNPAVED))
Transportation.kif 519-523

consequent
-------------------------


(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (lengthOfPavedHighway ?AREA
            (MeasureFn ?LENGTH1 ?UNIT))
        (lengthOfUnpavedHighway ?AREA
            (MeasureFn ?LENGTH2 ?UNIT))
        (instance ?UNIT UnitOfLength))
    (totalLengthOfHighwaySystem ?AREA
        (MeasureFn
            (AdditionFn ?LENGTH1 ?LENGTH2) ?UNIT)))
Transportation.kif 504-511


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