(<=>
(measure ?O
(MeasureFn ?A MetricTon))
(measure ?O
(MeasureFn
(MultiplicationFn ?A 2205.0) PoundMass))) 
Midlevelontology.kif 1357713583 
The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205.0 pound mass(s) 
(<=>
(measure ?OBJ
(MeasureFn ?DEG AngularDegree))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60.0 ?DEG) ArcMinute))) 
Geography.kif 378380 
The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s) 
(<=>
(measure ?OBJ
(MeasureFn ?DEG ArcMinute))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60.0 ?DEG) ArcSecond))) 
Geography.kif 397399 
The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s) 
(=>
(and
(arableLandArea ?REGION
(MeasureFn ?FRACTION ?UNIT))
(greaterThanOrEqualTo ?FRACTION 0.0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea))
(exists (?ARABLE)
(and
(instance ?ARABLE ArableLand)
(geographicSubregion ?ARABLE ?REGION)
(measure ?ARABLE
(MeasureFn
(MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) 
Geography.kif 20922106 

(=>
(and
(attribute ?H Muslim)
(equal
(WealthFn ?H) ?W))
(modalAttribute
(exists (?Z ?T ?U ?Y ?C)
(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 204223 

(=>
(and
(comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2)
(instance ?UNIT UnitOfArea)
(measure ?REGION1
(MeasureFn ?NUM1 ?UNIT))
(measure ?REGION2
(MeasureFn ?NUM2 ?UNIT)))
(?RELATION
(MeasureFn ?NUM1 ?UNIT)
(MeasureFn
(MultiplicationFn ?FACTOR ?NUM2) ?UNIT))) 
Geography.kif 659669 

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

(=>
(and
(defaultMeasure ?OBJECT
(MeasureFn ?Q ?UNIT))
(instance ?UNIT CompositeUnitOfMeasure))
(modalAttribute
(exists (?INST ?QUANTITY)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT))
(lessThan ?QUANTITY
(MultiplicationFn ?Q .5)))) Unlikely)) 
Midlevelontology.kif 1354913558 

(=>
(and
(equal
(RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
(not
(equal ?NUMBER2 0)))
(equal
(AdditionFn
(MultiplicationFn
(FloorFn
(DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1)) 
Merge.kif 51045115 

(=>
(and
(equal ?VA
(VarianceAverageFn ?M ?L))
(equal 1
(ListLengthFn ?L)))
(equal ?VA
(MultiplicationFn
(SubtractionFn ?M
(ListOrderFn ?L 1))
(SubtractionFn ?M
(ListOrderFn ?L 1))))) 
Weather.kif 14861497 

(=>
(and
(instance ?H HumanAdult)
(measure ?H
(MeasureFn ?N Pounds)))
(and
(bloodVolume ?H
(MeasureFn ?N2 Liter))
(equal ?N2
(DivisionFn
(MultiplicationFn ?N 0.07) 2.33)))) 
Medicine.kif 59155924 

(=>
(and
(instance ?M OnePercentMilk)
(measure ?M
(MeasureFn ?N ?U))
(instance ?U UnitOfVolume))
(exists (?BF ?N2)
(and
(instance ?BF ButterFat)
(part ?BF ?M)
(not
(exists (?F2)
(and
(instance ?F2 ButterFat)
(not
(equal ?BF ?F2))
(part ?F2 ?M))))
(measure ?BF
(MeasureFn ?N2 ?U))
(equal ?N2
(MultiplicationFn 0.01 ?N))))) 
Food.kif 29692986 

(=>
(and
(instance ?M SemiSkimmedMilk)
(measure ?M
(MeasureFn ?N ?U))
(instance ?U UnitOfVolume))
(exists (?BF ?N2)
(and
(instance ?BF ButterFat)
(part ?BF ?M)
(not
(exists (?F2)
(and
(instance ?F2 ButterFat)
(not
(equal ?BF ?F2))
(part ?F2 ?M))))
(measure ?BF
(MeasureFn ?N2 ?U))
(greaterThanOrEqualTo ?N2
(MultiplicationFn 0.015 ?N))
(lessThanOrEqualTo ?N2
(MultiplicationFn 0.02 ?N))))) 
Food.kif 29933011 

(=>
(and
(instance ?M SkimmedMilk)
(measure ?M
(MeasureFn ?N ?U))
(instance ?U UnitOfVolume))
(exists (?BF ?N2)
(and
(instance ?BF ButterFat)
(part ?BF ?M)
(not
(exists (?F2)
(and
(instance ?F2 ButterFat)
(not
(equal ?BF ?F2))
(part ?F2 ?M))))
(measure ?BF
(MeasureFn ?N2 ?U))
(greaterThanOrEqualTo ?N2
(MultiplicationFn 0.0 ?N))
(lessThanOrEqualTo ?N2
(MultiplicationFn 0.005 ?N))))) 
Food.kif 30183036 

(=>
(and
(instance ?M TwoPercentMilk)
(measure ?M
(MeasureFn ?N ?U))
(instance ?U UnitOfVolume))
(exists (?BF ?N2)
(and
(instance ?BF ButterFat)
(part ?BF ?M)
(not
(exists (?F2)
(and
(instance ?F2 ButterFat)
(not
(equal ?BF ?F2))
(part ?F2 ?M))))
(measure ?BF
(MeasureFn ?N2 ?U))
(equal ?N2
(MultiplicationFn 0.02 ?N))))) 
Food.kif 29452962 

(=>
(and
(instance ?M WholeMilk)
(measure ?M
(MeasureFn ?N ?U))
(instance ?U UnitOfVolume))
(exists (?BF ?N2)
(and
(instance ?BF ButterFat)
(part ?BF ?M)
(not
(exists (?F2)
(and
(instance ?F2 ButterFat)
(not
(equal ?BF ?F2))
(part ?F2 ?M))))
(measure ?BF
(MeasureFn ?N2 ?U))
(greaterThanOrEqualTo ?N2
(MultiplicationFn 0.0325 ?N))
(lessThanOrEqualTo ?N2
(MultiplicationFn 0.05 ?N))))) 
Food.kif 28512869 

(=>
(and
(instance ?NUMBER Integer)
(not
(equal ?NUMBER 0)))
(equal 1
(MultiplicationFn ?NUMBER
(ReciprocalFn ?NUMBER)))) 
Merge.kif 50865091 

(=>
(and
(instance ?T ElectricalTransformer)
(instance ?WC1 WireCoil)
(instance ?WC2 WireCoil)
(coilCount ?WC1 ?N1)
(coilCount ?WC2 ?N2)
(holdsDuring ?T
(measure ?WC1
(MeasureFn Volt ?V1))))
(and
(holdsDuring ?T
(measure ?WC2
(MeasureFn Volt ?V2)))
(equal ?V2
(MultiplicationFn ?V1
(DivisionFn ?N2 ?N1))))) 
Cars.kif 30953109 

(=>
(and
(instance ?WW WaterWave)
(waveHeight ?WW ?WH))
(exists (?LIST ?WA ?U ?SWH)
(and
(inList ?WH ?LIST)
(instance ?WA WaterArea)
(eventLocated ?WW ?WA)
(instance ?U UnitOfLength)
(significantWaveHeight ?WA
(WhenFn ?WW)
(MeasureFn ?SWH ?U))
(equal ?SWH
(MultiplicationFn 4.0
(StandardDeviationFn ?LIST)))))) 
Weather.kif 15321547 

(=>
(and
(otherLandUseArea ?REGION
(MeasureFn ?FRACTION ?UNIT))
(greaterThanOrEqualTo ?FRACTION 0.0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea))
(exists (?OTHER)
(and
(instance ?OTHER LandArea)
(not
(instance ?OTHER ArableLand))
(not
(instance ?OTHER PermanentCropLand))
(geographicSubregion ?OTHER ?REGION)
(measure ?OTHER
(MeasureFn
(MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) 
Geography.kif 21782196 

(=>
(and
(permanentCropLandArea ?REGION
(MeasureFn ?FRACTION ?UNIT))
(greaterThanOrEqualTo ?FRACTION 0.0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea))
(exists (?PERMCROP)
(and
(instance ?PERMCROP PermanentCropLand)
(geographicSubregion ?PERMCROP ?REGION)
(measure ?PERMCROP
(MeasureFn
(MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) 
Geography.kif 21382152 

(=>
(and
(possesses ?Agent ?Stocks)
(measure ?Stocks
(MeasureFn ?Number ShareUnit))
(splitFor ?Event ?N1 ?N2))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?Event))
(and
(equal ?N3
(MultiplicationFn ?Number ?N2))
(equal ?NewNumber
(DivisionFn ?N3 ?N1))
(measure ?Stocks
(MeasureFn ?NewNumber ShareUnit))))) 
FinancialOntology.kif 22292239 

(=>
(and
(principalAmount ?Account
(MeasureFn ?Balance ?CUNIT))
(fixedInterestRate ?Account ?Rate)
(simpleInterest ?Account
(MeasureFn ?Amount ?CUNIT) ?Period)
(equal ?RateDecimal
(DivisionFn ?Rate 100)))
(equal ?Amount
(MultiplicationFn ?Balance ?RateDecimal))) 
FinancialOntology.kif 538548 

(=>
(and
(relativeAngle ?O1 ?O2 ?N)
(physicalEnd ?E1 ?O1)
(physicalEnd ?E2 ?O1)
(not
(equal ?E1 ?E2))
(length ?O1
(MeasureFn ?N1 ?U))
(length ?O2
(MeasureFn ?N2 ?U))
(distance ?E1 ?E3
(MeasureFn ?N3 ?U))
(physicalEnd ?E3 ?O2)
(physicalEnd ?E4 ?O2)
(not
(equal ?E3 ?E4))
(not
(meetsSpatially ?E1 ?E3)))
(equal ?N
(ArcCosineFn
(DivisionFn
(SubtractionFn
(SubtractionFn
(MultiplicationFn ?N3 ?N3)
(MultiplicationFn ?N1 ?N1))
(MultiplicationFn ?N2 ?N2))
(MultiplicationFn 2.0
(MultiplicationFn ?N1 ?N2)))))) 
Merge.kif 1787617901 

(=>
(attribute ?F Flat)
(exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
(and
(side ?S1 ?F)
(side ?S2 ?F)
(meetsSpatially ?S1 ?S2)
(not
(equal ?S1 ?S2))
(instance ?U UnitOfLength)
(height ?F
(MeasureFn ?HF ?U))
(height ?S1
(MeasureFn ?H1 ?U))
(height ?S2
(MeasureFn ?H2 ?U))
(greaterThan ?H1
(MultiplicationFn 2.0 ?HF))
(greaterThan ?H2
(MultiplicationFn 2.0 ?HF))))) 
Midlevelontology.kif 27542767 
 If flat is an attribute of a self connected object,
 then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the height of the self connected object is the real number the unit of measure(s) and the height of the other self connected object is the other real number the unit of measure(s) and the height of the third self connected object is the third real number the unit of measure(s) and the other real number is greater than 2.0 and the real number and the third real number is greater than 2.0 and the real number


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 