(<=>
(attribute ?WATER OpenSea)
(forall (?LAND)
(and
(instance ?AREA SaltWaterArea)
(not
(instance ?WATER LandlockedWater))
(distance ?LAND ?WATER ?DIST)
(greaterThan ?DIST
(MeasureFn 5 NauticalMile))))) 
Geography.kif 44084415 
Open sea is an attribute of an object if and only if for all a physical an entity is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is a length measure and the length measure is greater than 5 nautical mile(s) 
(<=>
(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 
(<=>
(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)
(or
(equal ?NUMBER1 ?NUMBER2)
(greaterThan ?NUMBER1 ?NUMBER2))) 
Merge.kif 30123016 
A quantity is greater than or equal to another quantity if and only if the quantity is equal to the other quantity or the quantity is greater than the other quantity 
(<=>
(instance ?NUMBER PositiveRealNumber)
(and
(greaterThan ?NUMBER 0)
(instance ?NUMBER RealNumber))) 
Merge.kif 30963100 
A quantity is an instance of positive real number if and only if the quantity is greater than 0 and the quantity is an instance of real number 
(<=>
(larger ?OBJ1 ?OBJ2)
(forall (?QUANT1 ?QUANT2 ?UNIT)
(=>
(and
(measure ?OBJ1
(MeasureFn ?QUANT1 ?UNIT))
(measure ?OBJ2
(MeasureFn ?QUANT2 ?UNIT))
(instance ?UNIT UnitOfLength))
(greaterThan ?QUANT1 ?QUANT2)))) 
Merge.kif 1119611204 
An object is larger than another object if and only if for all a real number, another real number and an unit of measure 
(=>
(and
(attribute ?AREA FlatTerrain)
(part ?ZONE ?AREA)
(slopeGradient ?ZONE ?SLOPE))
(greaterThan 0.005 ?SLOPE)) 
Geography.kif 16951700 

(=>
(and
(attribute ?AREA LowTerrain)
(part ?ZONE ?AREA)
(slopeGradient ?ZONE ?SLOPE))
(greaterThan 0.03 ?SLOPE)) 
Geography.kif 17071712 

(=>
(and
(attribute ?FOOD1 FamilyStylePortion)
(measure ?FOOD1 ?MEAS1)
(not
(attribute ?FOOD2 FamilyStylePortion))
(measure ?FOOD2 ?MEAS2)
(instance ?FOOD1 ?CLASS)
(instance ?FOOD2 ?CLASS))
(greaterThan ?MEAS1 ?MEAS2)) 
Dining.kif 11191127 

(=>
(and
(attribute ?H Muslim)
(equal
(WealthFn ?H) ?W))
(modalAttribute
(exists (?Z ?T)
(and
(instance ?Z Zakat)
(instance ?Y Year)
(during ?Y
(WhenFn ?H))
(holdsDuring ?Y
(attribute ?H FullyFormed))
(agent ?Z ?H)
(patient ?Z ?T)
(monetaryValue ?T ?C)
(greaterThan ?C
(MultiplicationFn ?W 0.025)))) Obligation)) 
ArabicCulture.kif 193210 

(=>
(and
(attribute ?ROOM Oversized)
(immediateInstance ?ROOM ?HOTELUNIT)
(subclass ?HOTELUNIT HotelUnit))
(exists (?NORMAL ?AREA1 ?AREA2)
(and
(immediateInstance ?NORMAL ?HOTELUNIT)
(measure ?NORMAL ?AREA1)
(measure ?ROOM ?AREA2)
(instance ?AREA1 AreaMeasure)
(instance ?AREA2 AreaMeasure)
(greaterThan ?AREA2 ?AREA1)))) 
Hotel.kif 11361148 

(=>
(and
(capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
(annualExpendituresOfAreaInPeriod ?AREA ?TOTALAMOUNT ?PERIOD))
(greaterThan ?TOTALAMOUNT ?CAPAMOUNT)) 
Economy.kif 15441548 

(=>
(and
(dampingRatio ?P ?R)
(greaterThan ?R 0)
(instance ?T Tremor)
(patient ?T ?P)
(holdsDuring ?T1
(physicalAmplitude ?T ?A1))
(holdsDuring ?T2
(physicalAmplitude ?T ?A2))
(during ?T1 ?T)
(during ?T2 ?T)
(earlier ?T1 ?T2))
(greaterThan ?A1 ?A2)) 
Cars.kif 802815 

(=>
(and
(defaultMaxValue ?R ?ARG ?N)
(?R @ARGS)
(equal ?VAL
(ListOrderFn
(ListFn @ARGS) ?ARG)))
(modalAttribute
(greaterThan ?N ?VAL) Likely)) 
Merge.kif 2320723212 

(=>
(and
(defaultMaximumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT))
(instance ?UNIT CompositeUnitOfMeasure))
(modalAttribute
(exists (?INST ?QUANTITY)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT))
(greaterThan ?QUANTITY ?Q))) Unlikely)) 
Midlevelontology.kif 1113211141 

(=>
(and
(defaultMaximumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT1))
(subclass ?UNITCLASS NonCompositeUnitMeasure)
(instance ?UNIT1 ?UNITCLASS))
(modalAttribute
(exists (?INST ?QUANTITY ?UNIT2)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT2))
(instance ?UNIT2 ?UNITCLASS)
(greaterThan
(MeasureFn ?QUANTITY ?UNIT2)
(MeasureFn ?Q ?UNIT1)))) Unlikely)) 
Midlevelontology.kif 1114211153 

(=>
(and
(defaultMaximumSphereRadius ?OBJECT ?R)
(instance ?INST ?OBJECT)
(attribute ?INST Sphere))
(modalAttribute
(and
(sphereRadius ?INST ?RADIUS)
(greaterThan ?RADIUS ?R)) Unlikely)) 
Midlevelontology.kif 1108711095 

(=>
(and
(defaultMeasure ?OBJECT
(MeasureFn ?Q ?UNIT))
(instance ?UNIT CompositeUnitOfMeasure))
(modalAttribute
(exists (?INST ?QUANTITY)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT))
(greaterThan ?QUANTITY
(MultiplicationFn ?Q 1.5)))) Unlikely)) 
Midlevelontology.kif 1116111170 

(=>
(and
(defaultMinValue ?R ?ARG ?N)
(?R @ARGS)
(equal ?VAL
(ListOrderFn
(ListFn @ARGS) ?ARG)))
(modalAttribute
(greaterThan ?VAL ?N) Likely)) 
Merge.kif 2319223197 

(=>
(and
(effectiveDose ?AGENT ?NUMBER1)
(lethalDose ?AGENT ?NUMBER2))
(greaterThan ?NUMBER2 ?NUMBER1)) 
WMD.kif 812816 

(=>
(and
(engineIdleSpeed ?E
(RotationFn ?N1 ?M))
(instance ?A Automobile)
(instance ?P GasPedal)
(instance ?P Pushing)
(destination ?P ?GP)
(part ?GP ?A)
(instance ?C Crankshaft)
(part ?C ?A)
(measure ?C
(RotationFn ?N2 ?M)))
(modalAttribute
(greaterThan ?N2 ?N1) Likely)) 
Cars.kif 25712584 

(=>
(and
(eveningPhone ?Number ?Agent)
(instance ?Day Day))
(exists (?Phone)
(and
(phoneNumber ?Number ?Phone)
(holdsDuring
(HourFn ?Number ?Day)
(possesses ?Agent ?Phone))
(greaterThan ?Number 18)))) 
FinancialOntology.kif 36003608 

(=>
(and
(governorSpeed ?V ?Q)
(equal ?FASTPROB
(ProbabilityFn
(measure ?V
(PerFn ?L1 ?T1))))
(equal ?SLOWPROB
(ProbabilityFn
(measure ?V
(PerFn ?L2 ?T2))))
(greaterThan
(PerFn ?L1 ?T1)
(PerFn ?L2 ?T2)))
(greaterThan ?SLOWPROB ?FASTPROB)) 
Cars.kif 28652879 

(=>
(and
(holdsDuring ?T1
(attribute ?H Dieting))
(holdsDuring ?T2
(not
(attribute ?H Dieting)))
(instance ?M1 Meal)
(instance ?E1 Eating)
(agent ?E1 ?H)
(resource ?E1 ?M1)
(during
(WhenFn ?E1) ?T1)
(measure ?M1
(MeasureFn ?C1 Calorie))
(instance ?M2 Meal)
(instance ?E2 Eating)
(agent ?E2 ?H)
(resource ?E2 ?M2)
(during
(WhenFn ?E2) ?T2)
(measure ?M2
(MeasureFn ?C2 Calorie)))
(modalAttribute
(greaterThan ?C2 ?C1) Likely)) 
Midlevelontology.kif 2879928820 

(=>
(and
(holdsDuring ?TIME
(capitalExpendituresOfArea ?AREA ?CAPAMOUNT))
(holdsDuring ?TIME
(annualExpendituresOfArea ?AREA ?TOTALAMOUNT)))
(greaterThan ?TOTALAMOUNT ?CAPAMOUNT)) 
Economy.kif 15621566 

(=>
(and
(immediateInstance ?BIG ?CLASS)
(immediateInstance ?NORMAL ?CLASS)
(attribute ?BIG Oversized))
(exists (?BIGSIZE ?NORMALSIZE)
(and
(measure ?BIG ?BIGSIZE)
(measure ?NORMAL ?NORMALSIZE)
(greaterThan ?BIGSIZE ?NORMALSIZE)))) 
Hotel.kif 11251134 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 