(<=>
(attribute ?WATER OpenSea)
(and
(instance ?WATER SaltWaterArea)
(not
(instance ?WATER LandlockedWater))
(distance ?LAND ?WATER
(MeasureFn ?DIST NauticalMile))
(greaterThan ?DIST 5))) 
Geography.kif 45064514 
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 real number nautical mile(s) and the real number is greater than 5 
(<=>
(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 
(<=>
(greaterThanOrEqualTo ?NUMBER1 ?NUMBER2)
(or
(equal ?NUMBER1 ?NUMBER2)
(greaterThan ?NUMBER1 ?NUMBER2))) 
Merge.kif 18321836 
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 18841888 
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 75447552 
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 17251730 

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

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

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

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

(=>
(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)
(instance ?U UnitOfLength)
(holdsDuring ?T1
(physicalAmplitude ?T
(MeasureFn ?A1 ?U)))
(holdsDuring ?T2
(physicalAmplitude ?T
(MeasureFn ?A2 ?U)))
(during ?T1 ?T)
(during ?T2 ?T)
(earlier ?T1 ?T2))
(greaterThan ?A1 ?A2)) 
Cars.kif 809825 

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

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

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

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

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

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

(=>
(and
(engineIdleSpeed ?E
(RotationFn
(MeasureFn ?N1 MilesPerHour) ?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
(MeasureFn ?N2 MilesPerHour) ?M))))
(modalAttribute
(greaterThan ?N2 ?N1) Likely)) 
Cars.kif 25852603 

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

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

(=>
(and
(governorSpeed ?V ?Q)
(equal
(MeasureFn ?FAST MilesPerHour)
(SpeedFn ?L1 ?T1))
(equal
(MeasureFn ?SLOW MilesPerHour)
(SpeedFn ?L2 ?T2))
(greaterThan ?FAST ?SLOW)
(equal ?FASTPROB
(ProbabilityFn
(measure ?V
(MeasureFn ?FAST MilesPerHour))))
(equal ?SLOWPROB
(ProbabilityFn
(measure ?V
(MeasureFn ?SLOW MilesPerHour)))))
(greaterThan ?SLOWPROB ?FASTPROB)) 
Cars.kif 28842902 

(=>
(and
(holdsDuring ?T
(attribute ?F Menopausal))
(birthdate ?F ?B)
(equal ?A1
(AdditionFn
(YearDuration 49) ?B))
(equal ?A2
(AdditionFn
(YearDuration 52) ?B))
(equal ?START
(BeginFn ?T)))
(modalAttribute
(and
(greaterThan ?START ?A1)
(greaterThan ?A2 ?START)) Likely)) 
Midlevelontology.kif 2320923226 

(=>
(and
(holdsDuring ?T
(attribute ?H ?C))
(instance ?H ChronicDisease)
(duration ?T ?D))
(greaterThan ?D
(MeasureFn 3 MonthDuration))) 
Midlevelontology.kif 55785585 

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 