(<=>
(lengthOfUnpavedHighway ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS UnsurfacedRoadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 601-608 |
A length measure is a length of unpaved highway of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
(=>
(and
(lengthOfUnpavedHighway ?AREA
(MeasureFn ?LENGTH ?UNIT))
(instance ?UNIT UnitOfLength)
(greaterThan ?LENGTH 0))
(exists (?HIGHWAY)
(and
(instance ?HIGHWAY UnsurfacedRoadway)
(located ?HIGHWAY ?AREA)))) |
Transportation.kif 610-618 |
|
(=>
(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 510-517 |
|
(=>
(and
(totalLengthOfHighwaySystem ?AREA
(MeasureFn ?LENGTH ?UNIT))
(lengthOfPavedHighway ?AREA
(MeasureFn ?LENGTH1 ?UNIT))
(lengthOfUnpavedHighway ?AREA
(MeasureFn ?LENGTH2 ?UNIT)))
(equal ?LENGTH
(AdditionFn ?LENGTH1 ?LENGTH2))) |
Transportation.kif 503-508 |
|
(=>
(and
(totalLengthOfHighwaySystem ?AREA
(MeasureFn ?TOTAL ?UNIT))
(lengthOfUnpavedHighway ?AREA
(MeasureFn ?UNPAVED ?UNIT)))
(greaterThanOrEqualTo ?TOTAL ?UNPAVED)) |
Transportation.kif 527-533 |
|