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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lengthOfUnpavedHighway

Sigma KEE - lengthOfUnpavedHighway
lengthOfUnpavedHighway

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


(documentation lengthOfUnpavedHighway EnglishLanguage "(lengthOfUnpavedHighway ?AREA ?LENGTH) means that the total length of UnsurfacedRoadway in the GeographicArea ?AREA is ?LENGTH.") Transportation.kif 586-588
(domain lengthOfUnpavedHighway 1 GeographicArea) Transportation.kif 584-584
(domain lengthOfUnpavedHighway 2 LengthMeasure) Transportation.kif 585-585
(instance lengthOfUnpavedHighway BinaryPredicate) Transportation.kif 583-583

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


(format EnglishLanguage lengthOfUnpavedHighway "%2 is %n a length of unpaved highway of %1") domainEnglishFormat.kif 389-389
(termFormat EnglishLanguage lengthOfUnpavedHighway "length of unpaved highway") domainEnglishFormat.kif 6092-6092

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


(<=>
    (lengthOfUnpavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS UnsurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 590-597
(=>
    (and
        (lengthOfUnpavedHighway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY UnsurfacedRoadway)
            (located ?HIGHWAY ?AREA))))
Transportation.kif 599-607
(=>
    (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)
        (lengthOfUnpavedHighway ?AREA ?UNPAVED))
    (greaterThanOrEqualTo ?TOTAL ?UNPAVED))
Transportation.kif 519-523


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