(<=>
(attribute ?WATER OpenSea)
(and
(instance ?WATER SaltWaterArea)
(not
(instance ?WATER LandlockedWater))
(distance ?LAND ?WATER ?DIST)
(greaterThan ?DIST
(MeasureFn 5 NauticalMile)))) 
Geography.kif 44214429 
Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a 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 17981802 
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 18501854 
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 73837391 
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 17071712 

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

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

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

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

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

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

(=>
(and
(defaultMaximumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT1))
(subclass ?UNITCLASS NonCompositeUnitOfMeasure)
(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 1117411185 

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

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

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

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

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

(=>
(and
(equal ?DEP
(DepartmentOfFn ?COMP ?PHYS))
(subOrganization ?DEP2 ?COMP)
(not
(equal ?DEP ?DEP2))
(instance ?I ?PHYS)
(inScopeOfInterest ?P ?I)
(equal ?P1
(ProbabilityFn
(agent ?P ?DEP)))
(equal ?P2
(ProbabilityFn
(agent ?P ?DEP2))))
(greaterThan ?P1 ?P2)) 
Midlevelontology.kif 1607016084 

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 