(<=>
(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 30123028 
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 289310 
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 63776381 
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 58165825 

(=>
(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
(MeasureFn ?LENGTH Meter))
(or
(greaterThanOrEqualTo ?LENGTH 2438)
(lessThanOrEqualTo ?LENGTH 3047))))) 
Transportation.kif 14451457 

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

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

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

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

(=>
(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
(MeasureFn ?VOTINGAGE YearDuration))
(age ?AGENT
(MeasureFn ?AGE YearDuration)))
(lessThanOrEqualTo ?AGE ?VOTINGAGE)) 
Government.kif 10611070 

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

(=>
(and
(instance ?H Hurricane)
(instance ?SS SSHWSAttribute)
(eventLocated ?H ?AREA)
(believes ?A
(property ?H ?SS))
(speedScaleAttributeMinMax ?SS
(MeasureFn ?MIN ?U)
(MeasureFn ?MAX ?U))
(instance ?U UnitOfMeasure))
(exists (?WIND)
(and
(greaterThanOrEqualTo ?WIND ?MIN)
(lessThanOrEqualTo ?WIND ?MAX)
(believes ?A
(equal
(MeasureFn ?WIND ?U)
(Mean1MinuteWindSpeedFn ?AREA
(WhenFn ?H))))))) 
Weather.kif 23582377 

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

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

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

(=>
(and
(instance ?T Tornado)
(instance ?EF EFScaleAttribute)
(eventLocated ?T ?AREA)
(believes ?A
(property ?T ?EF))
(speedScaleAttributeMinMax ?EF
(MeasureFn ?MIN MilesPerHour)
(MeasureFn ?MAX MilesPerHour)))
(exists (?GUST)
(and
(greaterThanOrEqualTo ?GUST ?MIN)
(lessThanOrEqualTo ?GUST ?MAX)
(believes ?A
(equal
(MeasureFn ?GUST MilesPerHour)
(ThreeSecondGustSpeedFn ?AREA
(WhenFn ?T))))))) 
Weather.kif 20892107 

(=>
(and
(instance ?W Wind)
(instance ?BN BeaufortNumberAttribute)
(eventLocated ?W ?AREA)
(believes ?A
(property ?W ?BN))
(speedScaleAttributeMinMax ?BN
(MeasureFn ?MIN ?U)
(MeasureFn ?MAX ?U))
(instance ?U UnitOfMeasure))
(exists (?SPEED)
(and
(greaterThanOrEqualTo ?SPEED ?MIN)
(lessThanOrEqualTo ?SPEED ?MAX)
(believes ?A
(surfaceWindSpeed ?AREA
(MeasureFn ?SPEED ?U)))))) 
Weather.kif 349366 

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 