(<=>
(lengthOfExpresswaySystem ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS Expressway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 558565 
A length measure is a length of expressway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(=>
(and
(lengthOfExpresswaySystem ?AREA
(MeasureFn ?LENGTH ?UNIT))
(instance ?UNIT UnitOfLength)
(greaterThan ?LENGTH 0))
(exists (?HIGHWAY)
(and
(instance ?HIGHWAY Expressway)
(located ?HIGHWAY ?AREA)))) 
Transportation.kif 567575 

(=>
(and
(lengthOfExpresswaySystem ?AREA ?LENGTH1)
(lengthOfPavedHighway ?AREA ?LENGTH2))
(greaterThanOrEqualTo ?LENGTH2 ?LENGTH1)) 
Transportation.kif 577581 
