( ! [V__LIST3,V__LIST1,V__LIST2] :
(((s__instance(V__LIST3,s__List) &
s__instance(V__LIST1,s__List) &
s__instance(V__LIST2,s__List))
=>
(((((V__LIST3 = s__ListConcatenateFn(V__LIST1,V__LIST2))
&
~((V__LIST1 = s__NullList))
&
~((V__LIST2 = s__NullList)))
=>
( ! [V__NUMBER1, V__NUMBER2] :
(((s__lessThanOrEqualTo(V__NUMBER1,s__ListLengthFn(V__LIST1))
&
s__lessThanOrEqualTo(V__NUMBER2,s__ListLengthFn(V__LIST2))
&
s__instance(V__NUMBER1,s__PositiveInteger) &
s__instance(V__NUMBER2,s__PositiveInteger))
=>
(((s__ListOrderFn(V__LIST3,V__NUMBER1)
= s__ListOrderFn(V__LIST1,V__NUMBER1))
&
(s__ListOrderFn(V__LIST3,s__AdditionFn(s__ListLengthFn(V__LIST1)
,V__NUMBER2))
= s__ListOrderFn(V__LIST2,V__NUMBER2))))))))
&
(( ! [V__NUMBER1, V__NUMBER2] :
(((s__lessThanOrEqualTo(V__NUMBER1,s__ListLengthFn(V__LIST1))
&
s__lessThanOrEqualTo(V__NUMBER2,s__ListLengthFn(V__LIST2))
&
s__instance(V__NUMBER1,s__PositiveInteger) &
s__instance(V__NUMBER2,s__PositiveInteger))
=>
(((s__ListOrderFn(V__LIST3,V__NUMBER1)
= s__ListOrderFn(V__LIST1,V__NUMBER1))
&
(s__ListOrderFn(V__LIST3,s__AdditionFn(s__ListLengthFn(V__LIST1)
,V__NUMBER2))
= s__ListOrderFn(V__LIST2,V__NUMBER2)))))))
=>
((V__LIST3 = s__ListConcatenateFn(V__LIST1,V__LIST2))
&
~((V__LIST1 = s__NullList))
&
~((V__LIST2 = s__NullList)))))))
)
)

Merge.kif 29792995 
A list is equal to the list composed of another list and a third list and the other list is not equal to null list and the third list is not equal to null list if and only if for all a positive integer and another positive integer 
( ! [V__LASTPLACE,V__LIST1,V__AVERAGE] :
(((s__instance(V__LASTPLACE,s__PositiveInteger) &
s__instance(V__LIST1,s__List) &
s__instance(V__AVERAGE,s__RealNumber))
=>
(((s__average(V__LIST1,V__AVERAGE)
=>
( ? [V__LIST2] :
((s__instance(V__LIST2,s__List) &
((s__ListLengthFn(V__LIST2)
= s__ListLengthFn(V__LIST1))
&
(s__ListOrderFn(V__LIST2,n__1)
= s__ListOrderFn(V__LIST1,n__1))
&
( ! [V__ITEMFROM2] :
((s__instance(V__ITEMFROM2,s__PositiveInteger) =>
((s__inList(V__ITEMFROM2,V__LIST2)
=>
(( ? [V__POSITION, V__POSITIONMINUSONE, V__ITEMFROM1, V__PRIORFROM2] :
((s__instance(V__POSITION,s__Number) &
s__instance(V__POSITIONMINUSONE,s__Number) &
s__instance(V__ITEMFROM1,s__PositiveInteger) &
s__instance(V__PRIORFROM2,s__PositiveInteger) &
(s__greaterThan(V__POSITION,n__1)
&
s__lessThanOrEqualTo(V__POSITION,s__ListLengthFn(V__LIST2))
&
(s__ListOrderFn(V__LIST2,V__ITEMFROM2)
= V__POSITION)
&
s__inList(V__ITEMFROM1,V__LIST1)
&
(V__POSITION = s__ListOrderFn(V__LIST1,V__ITEMFROM1))
&
s__inList(V__PRIORFROM2,V__LIST2)
&
(V__POSITIONMINUSONE = s__SubtractionFn(V__POSITION,n__1))
&
(V__POSITIONMINUSONE = s__ListOrderFn(V__LIST2,V__PRIORFROM2))
&
(V__ITEMFROM2 = s__AdditionFn(V__ITEMFROM1,V__PRIORFROM2))))))))))))
&
(V__LASTPLACE = s__ListLengthFn(V__LIST2))
&
(V__AVERAGE = s__DivisionFn(s__ListOrderFn(V__LIST2,V__LASTPLACE)
,V__LASTPLACE)))))))
&
(( ? [V__LIST2] :
((s__instance(V__LIST2,s__List) &
((s__ListLengthFn(V__LIST2)
= s__ListLengthFn(V__LIST1))
&
(s__ListOrderFn(V__LIST2,n__1)
= s__ListOrderFn(V__LIST1,n__1))
&
( ! [V__ITEMFROM2] :
((s__instance(V__ITEMFROM2,s__PositiveInteger) =>
((s__inList(V__ITEMFROM2,V__LIST2)
=>
(( ? [V__POSITION, V__POSITIONMINUSONE, V__ITEMFROM1, V__PRIORFROM2] :
((s__instance(V__POSITION,s__Number) &
s__instance(V__POSITIONMINUSONE,s__Number) &
s__instance(V__ITEMFROM1,s__PositiveInteger) &
s__instance(V__PRIORFROM2,s__PositiveInteger) &
(s__greaterThan(V__POSITION,n__1)
&
s__lessThanOrEqualTo(V__POSITION,s__ListLengthFn(V__LIST2))
&
(s__ListOrderFn(V__LIST2,V__ITEMFROM2)
= V__POSITION)
&
s__inList(V__ITEMFROM1,V__LIST1)
&
(V__POSITION = s__ListOrderFn(V__LIST1,V__ITEMFROM1))
&
s__inList(V__PRIORFROM2,V__LIST2)
&
(V__POSITIONMINUSONE = s__SubtractionFn(V__POSITION,n__1))
&
(V__POSITIONMINUSONE = s__ListOrderFn(V__LIST2,V__PRIORFROM2))
&
(V__ITEMFROM2 = s__AdditionFn(V__ITEMFROM1,V__PRIORFROM2))))))))))))
&
(V__LASTPLACE = s__ListLengthFn(V__LIST2))
&
(V__AVERAGE = s__DivisionFn(s__ListOrderFn(V__LIST2,V__LASTPLACE)
,V__LASTPLACE))))))
=>
s__average(V__LIST1,V__AVERAGE)))))
)
)

People.kif 285306 
A real number is an average of a list if and only if there exists another list such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all a positive integer and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer 
( ! [V__FROM,V__TO,V__QUANTITY] :
(((s__instance(V__FROM,s__ConstantQuantity) &
s__instance(V__TO,s__ConstantQuantity) &
s__instance(V__QUANTITY,s__Quantity))
=>
(((s__instance(V__QUANTITY,s__IntervalFn(V__FROM,V__TO))
=>
(s__greaterThanOrEqualTo(V__QUANTITY,V__FROM)
&
s__lessThanOrEqualTo(V__QUANTITY,V__TO)))
&
((s__greaterThanOrEqualTo(V__QUANTITY,V__FROM)
&
s__lessThanOrEqualTo(V__QUANTITY,V__TO))
=>
s__instance(V__QUANTITY,s__IntervalFn(V__FROM,V__TO))))))
)
)

Merge.kif 63426346 
A quantity is an instance of the interval from a constant quantity to another constant quantity if and only if the quantity is greater than or equal to the constant quantity and the quantity is less than or equal to the other constant quantity 
( ! [V__NODE2,V__NODE1,V__NUMBER1,V__NUMBER2,V__PATH] :
(((s__instance(V__NODE2,s__GraphNode) &
s__instance(V__NODE1,s__GraphNode) &
s__instance(V__NUMBER1,s__Number) &
s__instance(V__NUMBER2,s__Number) &
s__instance(V__PATH,s__GraphPath))
=>
((((s__MaximalWeightedPathFn(V__NODE1,V__NODE2)
= V__PATH)
&
(s__PathWeightFn(V__PATH)
= V__NUMBER1))
=>
(( ! [V__PATH2] :
((s__instance(V__PATH2,s__GraphPath) =>
(((s__instance(V__PATH2,s__GraphPathFn(V__NODE1,V__NODE2))
&
(s__PathWeightFn(V__PATH2)
= V__NUMBER2))
=>
(s__lessThanOrEqualTo(V__NUMBER2,V__NUMBER1)))))))))))
)
)

Merge.kif 57815790 

( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LatitudeFn__6Fn(V__DIRECTION,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
,s__Region) &
(s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__90)))))
)
)
( ! [V__ROW3,V__ROW4,V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LatitudeFn__4Fn(V__DIRECTION,V__ROW2,V__ROW3,V__ROW4)
,s__Region) &
(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__90)))))
)
)
( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LatitudeFn__7Fn(V__DIRECTION,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
,s__Region) &
(s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__90)))))
)
)
( ! [V__ROW3,V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LatitudeFn__3Fn(V__DIRECTION,V__ROW2,V__ROW3)
,s__Region) &
(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__90)))))
)
)
( ! [V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LatitudeFn__2Fn(V__DIRECTION,V__ROW2)
,s__Region) &
(s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__90)))))
)
)
( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LatitudeFn__5Fn(V__DIRECTION,V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,s__Region) &
(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__90)))))
)
)

Geography.kif 427431 

( ! [V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LongitudeFn__6Fn(V__DIRECTION,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
,s__Region) &
(s__ListOrderFn(s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__180)))))
)
)
( ! [V__ROW5,V__ROW3,V__ROW4,V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LongitudeFn__5Fn(V__DIRECTION,V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,s__Region) &
(s__ListOrderFn(s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__180)))))
)
)
( ! [V__ROW3,V__ROW4,V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LongitudeFn__4Fn(V__DIRECTION,V__ROW2,V__ROW3,V__ROW4)
,s__Region) &
(s__ListOrderFn(s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__180)))))
)
)
( ! [V__ROW7,V__ROW5,V__ROW6,V__ROW3,V__ROW4,V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LongitudeFn__7Fn(V__DIRECTION,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
,s__Region) &
(s__ListOrderFn(s__ListFn__6Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__180)))))
)
)
( ! [V__ROW3,V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LongitudeFn__3Fn(V__DIRECTION,V__ROW2,V__ROW3)
,s__Region) &
(s__ListOrderFn(s__ListFn__2Fn(V__ROW2,V__ROW3)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__180)))))
)
)
( ! [V__ROW2,V__NUM,V__DIRECTION] :
((s__instance(V__NUM,s__RealNumber) =>
(((s__instance(s__LongitudeFn__2Fn(V__DIRECTION,V__ROW2)
,s__Region) &
(s__ListOrderFn(s__ListFn__1Fn(V__ROW2)
,n__1)
= s__MeasureFn(V__NUM,s__AngularDegree)))
=>
(s__lessThanOrEqualTo(V__NUM,n__180)))))
)
)

Geography.kif 467474 

( ! [V__AIRPORT] :
(((s__instance(V__AIRPORT,s__Airport) &
s__attribute(V__AIRPORT,s__LongRunwayAirport))
=>
(( ? [V__RUNWAY, V__LENGTH] :
((s__instance(V__LENGTH,s__RealNumber) &
(s__instance(V__RUNWAY,s__Runway) &
s__part(V__RUNWAY,V__AIRPORT)
&
s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
&
(s__greaterThanOrEqualTo(V__LENGTH,n__2438)

s__lessThanOrEqualTo(V__LENGTH,n__3047))))))))
)
)

Transportation.kif 14451457 

( ! [V__AIRPORT] :
(((s__instance(V__AIRPORT,s__Airport) &
s__attribute(V__AIRPORT,s__MediumLengthRunwayAirport))
=>
(( ? [V__RUNWAY, V__LENGTH] :
((s__instance(V__LENGTH,s__RealNumber) &
(s__instance(V__RUNWAY,s__Runway) &
s__part(V__RUNWAY,V__AIRPORT)
&
s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
&
(s__greaterThanOrEqualTo(V__LENGTH,n__1524)

s__lessThanOrEqualTo(V__LENGTH,n__2437))))))))
)
)

Transportation.kif 14261438 

( ! [V__AIRPORT] :
(((s__instance(V__AIRPORT,s__Airport) &
s__attribute(V__AIRPORT,s__ShortRunwayAirport))
=>
(( ? [V__RUNWAY, V__LENGTH] :
((s__instance(V__LENGTH,s__RealNumber) &
(s__instance(V__RUNWAY,s__Runway) &
s__part(V__RUNWAY,V__AIRPORT)
&
s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
&
(s__greaterThanOrEqualTo(V__LENGTH,n__914)

s__lessThanOrEqualTo(V__LENGTH,n__1523))))))))
)
)

Transportation.kif 14071419 

( ! [V__WEATHER,V__FRACTION,V__AREA] :
((s__instance(V__FRACTION,s__NonnegativeRealNumber) =>
(((s__instance(V__AREA,s__GeographicArea) &
s__instance(V__WEATHER,s__PartlyCloudyWeather) &
s__eventLocated(V__WEATHER,V__AREA)
&
s__cloudCoverFraction(V__AREA,V__FRACTION))
=>
((s__greaterThanOrEqualTo(V__FRACTION,n__0_3)
&
s__lessThanOrEqualTo(V__FRACTION,n__0_7))))))
)
)

Weather.kif 917925 

( ! [V__WEATHER,V__AREA] :
(((s__instance(V__AREA,s__GeographicArea) &
s__instance(V__WEATHER,s__PartlyCloudyWeather) &
s__eventLocated(V__WEATHER,V__AREA))
=>
(( ? [V__FRACTION] :
((s__instance(V__FRACTION,s__NonnegativeRealNumber) &
(s__cloudCoverFraction(V__AREA,V__FRACTION)
&
s__greaterThanOrEqualTo(V__FRACTION,n__0_3)
&
s__lessThanOrEqualTo(V__FRACTION,n__0_7)))))))
)
)

Weather.kif 906915 

( ! [V__CITY] :
(((s__instance(V__CITY,s__City) &
s__part(V__CITY,s__France))
=>
(s__lessThanOrEqualTo(s__CardinalityFn(s__ResidentFn(V__CITY))
,s__CardinalityFn(s__ResidentFn(s__Paris)))))
)
)

CountriesAndRegions.kif 5965 

( ! [V__AGENT,V__POLITY,V__AGE,V__ACT,V__ELECTION,V__VOTINGAGE] :
(((s__instance(V__AGENT,s__Agent) &
s__instance(V__POLITY,s__Agent) &
s__instance(V__AGE,s__RealNumber) &
s__instance(V__ACT,s__Process) &
s__instance(V__ELECTION,s__Election) &
s__instance(V__VOTINGAGE,s__RealNumber))
=>
(((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
&
s__instance(V__ACT,s__VotingFn(V__ELECTION))
&
s__agent(V__ACT,V__AGENT)
&
s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
&
s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)))
=>
(s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))
)
)

Government.kif 10611070 

( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE] :
(((s__instance(V__AGENT,s__Agent) &
s__instance(V__POLITY,s__Agent) &
s__instance(V__ACT,s__Process) &
s__instance(V__ELECTION,s__Election) &
s__instance(V__VOTINGAGE,s__RealNumber))
=>
(((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
&
s__instance(V__ACT,s__VotingFn(V__ELECTION))
&
s__agent(V__ACT,V__AGENT)
&
s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)))
=>
(( ? [V__AGE] :
((s__instance(V__AGE,s__RealNumber) &
(s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
&
s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 10481059 

No TPTP formula. May not be expressible in strict first order. 
Weather.kif 23582377 

( ! [V__ICE,V__NUMBER] :
((s__instance(V__NUMBER,s__RealNumber) =>
(((s__instance(V__ICE,s__Ice) &
s__measure(V__ICE,s__MeasureFn(V__NUMBER,s__CelsiusDegree)))
=>
(s__lessThanOrEqualTo(V__NUMBER,n__0)))))
)
)

Midlevelontology.kif 81918195 

( ! [V__WIDTH,V__RR] :
((s__instance(V__WIDTH,s__RealNumber) =>
(((s__instance(V__RR,s__Railway) &
s__property(V__RR,s__NarrowGauge) &
s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter)))
=>
(s__lessThanOrEqualTo(V__WIDTH,n__1_435)))))
)
)

Transportation.kif 453458 

( ! [V__WIDTH,V__RR] :
((s__instance(V__WIDTH,s__RealNumber) =>
(((s__instance(V__RR,s__Railway) &
s__property(V__RR,s__StandardGauge) &
s__trackWidth(V__RR,s__MeasureFn(V__WIDTH,s__Meter)))
=>
(s__lessThanOrEqualTo(V__WIDTH,n__1_44)))))
)
)

Transportation.kif 435441 

No TPTP formula. May not be expressible in strict first order. 
Weather.kif 20892107 

No TPTP formula. May not be expressible in strict first order. 
Weather.kif 349366 

( ! [V__WIDTH,V__ZONE] :
((s__instance(V__WIDTH,s__RealNumber) =>
(((s__instance(V__ZONE,s__ExclusiveFishingZone) &
s__linearExtent(V__ZONE,s__MeasureFn(V__WIDTH,s__NauticalMile)))
=>
(s__lessThanOrEqualTo(V__WIDTH,n__200)))))
)
)

Geography.kif 11401145 

( ! [V__WIDTH,V__ZONE] :
((s__instance(V__WIDTH,s__RealNumber) =>
(((s__instance(V__ZONE,s__ExtendedFishingZone) &
s__linearExtent(V__ZONE,s__MeasureFn(V__WIDTH,s__NauticalMile)))
=>
(s__lessThanOrEqualTo(V__WIDTH,n__200)))))
)
)

Geography.kif 11721177 

( ! [V__WIDTH,V__ZONE] :
((s__instance(V__WIDTH,s__RealNumber) =>
(((s__instance(V__ZONE,s__MaritimeExclusiveEconomicZone) &
s__linearExtent(V__ZONE,s__MeasureFn(V__WIDTH,s__NauticalMile)))
=>
(s__lessThanOrEqualTo(V__WIDTH,n__200)))))
)
)

Geography.kif 11081113 

( ! [V__WIDTH,V__ZONE] :
((s__instance(V__WIDTH,s__RealNumber) =>
(((s__instance(V__ZONE,s__MaritimeShelfArea) &
s__linearExtent(V__ZONE,s__MeasureFn(V__WIDTH,s__NauticalMile)))
=>
(s__lessThanOrEqualTo(V__WIDTH,n__200)))))
)
)

Geography.kif 10671072 

( ! [V__WIDTH,V__ZONE] :
((s__instance(V__WIDTH,s__RealNumber) =>
(((s__instance(V__ZONE,s__TerritorialSea) &
s__linearExtent(V__ZONE,s__MeasureFn(V__WIDTH,s__NauticalMile)))
=>
(s__lessThanOrEqualTo(V__WIDTH,n__12)))))
)
)

Geography.kif 12131218 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 