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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalLengthOfHighwaySystem

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 2 LengthMeasure) Transportation.kif 472-472
(instance totalLengthOfHighwaySystem BinaryPredicate) Transportation.kif 470-470

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


(format EnglishLanguage totalLengthOfHighwaySystem "%2 is %n a total length of highway system of %1") domainEnglishFormat.kif 634-634
(termFormat EnglishLanguage totalLengthOfHighwaySystem "total length of highway system") domainEnglishFormat.kif 10187-10187

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


(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 478-485
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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