(<=>
(totalLengthOfHighwaySystem ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS Roadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 478485 
A length measure is a total length of highway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(=>
(and
(totalLengthOfHighwaySystem ?AREA
(MeasureFn ?LENGTH ?UNIT))
(instance ?UNIT UnitOfLength)
(greaterThan ?LENGTH 0))
(exists (?HIGHWAY)
(and
(instance ?HIGHWAY Roadway)
(located ?HIGHWAY ?AREA)))) 
Transportation.kif 487495 

(=>
(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 504511 

(=>
(and
(totalLengthOfHighwaySystem ?AREA ?LENGTH)
(lengthOfPavedHighway ?AREA ?LENGTH1)
(lengthOfUnpavedHighway ?AREA ?LENGTH2))
(equal ?LENGTH
(AdditionFn ?LENGTH1 ?LENGTH2))) 
Transportation.kif 497502 

(=>
(and
(totalLengthOfHighwaySystem ?AREA ?TOTAL)
(lengthOfPavedHighway ?AREA ?PAVED))
(greaterThanOrEqualTo ?TOTAL ?PAVED)) 
Transportation.kif 513517 

(=>
(and
(totalLengthOfHighwaySystem ?AREA ?TOTAL)
(lengthOfUnpavedHighway ?AREA ?UNPAVED))
(greaterThanOrEqualTo ?TOTAL ?UNPAVED)) 
Transportation.kif 519523 
