(<=>
(and
(equal ?LIST3
(ListConcatenateFn ?LIST1 ?LIST2))
(not
(equal ?LIST1 NullList))
(not
(equal ?LIST2 NullList)))
(forall (?NUMBER1 ?NUMBER2)
(=>
(and
(lessThanOrEqualTo ?NUMBER1
(ListLengthFn ?LIST1))
(lessThanOrEqualTo ?NUMBER2
(ListLengthFn ?LIST2))
(instance ?NUMBER1 PositiveInteger)
(instance ?NUMBER2 PositiveInteger))
(and
(equal
(ListOrderFn ?LIST3 ?NUMBER1)
(ListOrderFn ?LIST1 ?NUMBER1))
(equal
(ListOrderFn ?LIST3
(AdditionFn
(ListLengthFn ?LIST1) ?NUMBER2))
(ListOrderFn ?LIST2 ?NUMBER2)))))) 
Merge.kif 29722988 
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 
(<=>
(average ?LIST1 ?AVERAGE)
(exists (?LIST2)
(and
(equal
(ListLengthFn ?LIST2)
(ListLengthFn ?LIST1))
(equal
(ListOrderFn ?LIST2 1)
(ListOrderFn ?LIST1 1))
(forall (?ITEMFROM2)
(=>
(inList ?ITEMFROM2 ?LIST2)
(exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(and
(greaterThan ?POSITION 1)
(lessThanOrEqualTo ?POSITION
(ListLengthFn ?LIST2))
(equal
(ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION)
(inList ?ITEMFROM1 ?LIST1)
(equal ?POSITION
(ListOrderFn ?LIST1 ?ITEMFROM1))
(inList ?PRIORFROM2 ?LIST2)
(equal ?POSITIONMINUSONE
(SubtractionFn ?POSITION 1))
(equal ?POSITIONMINUSONE
(ListOrderFn ?LIST2 ?PRIORFROM2))
(equal ?ITEMFROM2
(AdditionFn ?ITEMFROM1 ?PRIORFROM2))))))
(equal ?LASTPLACE
(ListLengthFn ?LIST2))
(equal ?AVERAGE
(DivisionFn
(ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE))))) 
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 
(<=>
(instance ?QUANTITY
(IntervalFn ?FROM ?TO))
(and
(greaterThanOrEqualTo ?QUANTITY ?FROM)
(lessThanOrEqualTo ?QUANTITY ?TO))) 
Merge.kif 62556259 
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 
(=>
(and
(equal
(MaximalWeightedPathFn ?NODE1 ?NODE2) ?PATH)
(equal
(PathWeightFn ?PATH) ?NUMBER1))
(forall (?PATH2)
(=>
(and
(instance ?PATH2
(GraphPathFn ?NODE1 ?NODE2))
(equal
(PathWeightFn ?PATH2) ?NUMBER2))
(lessThanOrEqualTo ?NUMBER2 ?NUMBER1)))) 
Merge.kif 56925701 

(=>
(and
(instance
(LatitudeFn ?DIRECTION @ROW) Region)
(equal
(ListOrderFn
(ListFn @ROW) 1)
(MeasureFn ?NUM AngularDegree)))
(lessThanOrEqualTo ?NUM 90)) 
Geography.kif 427431 

(=>
(and
(instance
(LongitudeFn ?DIRECTION @ROW) Region)
(equal
(ListOrderFn
(ListFn @ROW) 1)
(MeasureFn ?NUM AngularDegree)))
(lessThanOrEqualTo ?NUM 180)) 
Geography.kif 467474 

(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT LongRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY ?LENGTH)
(or
(greaterThanOrEqualTo ?LENGTH
(MeasureFn 2438 Meter))
(lessThanOrEqualTo ?LENGTH
(MeasureFn 3047 Meter)))))) 
Transportation.kif 14321443 

(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT MediumLengthRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY ?LENGTH)
(or
(greaterThanOrEqualTo ?LENGTH
(MeasureFn 1524 Meter))
(lessThanOrEqualTo ?LENGTH
(MeasureFn 2437 Meter)))))) 
Transportation.kif 14141425 

(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT ShortRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY ?LENGTH)
(or
(greaterThanOrEqualTo ?LENGTH
(MeasureFn 914 Meter))
(lessThanOrEqualTo ?LENGTH
(MeasureFn 1523 Meter)))))) 
Transportation.kif 13961407 

(=>
(and
(instance ?AREA GeographicArea)
(instance ?WEATHER PartlyCloudyWeather)
(eventLocated ?WEATHER ?AREA)
(cloudCoverFraction ?AREA ?FRACTION))
(and
(greaterThanOrEqualTo ?FRACTION 0.3)
(lessThanOrEqualTo ?FRACTION 0.7))) 
Weather.kif 528536 

(=>
(and
(instance ?AREA GeographicArea)
(instance ?WEATHER PartlyCloudyWeather)
(eventLocated ?WEATHER ?AREA))
(exists (?FRACTION)
(and
(cloudCoverFraction ?AREA ?FRACTION)
(greaterThanOrEqualTo ?FRACTION 0.3)
(lessThanOrEqualTo ?FRACTION 0.7)))) 
Weather.kif 517526 

(=>
(and
(instance ?CITY City)
(part ?CITY France))
(lessThanOrEqualTo
(CardinalityFn
(ResidentFn ?CITY))
(CardinalityFn
(ResidentFn Paris)))) 
CountriesAndRegions.kif 5965 

(=>
(and
(instance ?ELECTION
(ElectionFn ?POLITY))
(instance ?ACT
(VotingFn ?ELECTION))
(agent ?ACT ?AGENT)
(suffrageAgeMaximum ?POLITY ?VOTINGAGE)
(age ?AGENT ?AGE))
(lessThanOrEqualTo ?AGE ?VOTINGAGE)) 
Government.kif 10471054 

(=>
(and
(instance ?ELECTION
(ElectionFn ?POLITY))
(instance ?ACT
(VotingFn ?ELECTION))
(agent ?ACT ?AGENT)
(suffrageAgeMaximum ?POLITY ?VOTINGAGE))
(exists (?AGE)
(and
(age ?AGENT ?AGE)
(lessThanOrEqualTo ?AGE ?VOTINGAGE)))) 
Government.kif 10361045 

(=>
(and
(instance ?ICE Ice)
(measure ?ICE
(MeasureFn ?NUMBER CelsiusDegree)))
(lessThanOrEqualTo ?NUMBER 0)) 
Midlevelontology.kif 86618665 

(=>
(and
(instance ?RR Railway)
(property ?RR NarrowGauge)
(trackWidth ?RR ?WIDTH))
(lessThanOrEqualTo ?WIDTH
(MeasureFn 1.435 Meter))) 
Transportation.kif 447452 

(=>
(and
(instance ?RR Railway)
(property ?RR StandardGauge)
(trackWidth ?RR ?WIDTH))
(lessThanOrEqualTo ?WIDTH
(MeasureFn 1.44 Meter))) 
Transportation.kif 430435 

(=>
(and
(instance ?ZONE ExclusiveFishingZone)
(linearExtent ?ZONE ?WIDTH))
(lessThanOrEqualTo ?WIDTH
(MeasureFn 200 NauticalMile))) 
Geography.kif 11381142 

(=>
(and
(instance ?ZONE ExtendedFishingZone)
(linearExtent ?ZONE ?WIDTH))
(lessThanOrEqualTo ?WIDTH
(MeasureFn 200 NauticalMile))) 
Geography.kif 11691173 

(=>
(and
(instance ?ZONE MaritimeExclusiveEconomicZone)
(linearExtent ?ZONE ?WIDTH))
(lessThanOrEqualTo ?WIDTH
(MeasureFn 200 NauticalMile))) 
Geography.kif 11071111 

(=>
(and
(instance ?ZONE MaritimeShelfArea)
(linearExtent ?ZONE ?WIDTH))
(lessThanOrEqualTo ?WIDTH
(MeasureFn 200 NauticalMile))) 
Geography.kif 10671071 

(=>
(and
(instance ?ZONE TerritorialSea)
(linearExtent ?ZONE ?WIDTH))
(lessThanOrEqualTo ?WIDTH
(MeasureFn 12 NauticalMile))) 
Geography.kif 12091213 

(=>
(and
(lengthOfCrudeOilPipeline ?AREA ?AMOUNT1)
(totalPipelineInArea ?AREA ?AMOUNT2))
(lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2)) 
Transportation.kif 710714 

(=>
(and
(lengthOfNaturalGasPipeline ?AREA ?AMOUNT1)
(totalPipelineInArea ?AREA ?AMOUNT2))
(lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2)) 
Transportation.kif 733737 

(=>
(and
(lengthOfPetroleumProductPipeline ?AREA ?AMOUNT1)
(totalPipelineInArea ?AREA ?AMOUNT2))
(lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2)) 
Transportation.kif 756760 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 