(<=>
(measure ?O
(MeasureFn ?A MetricTon))
(measure ?O
(MeasureFn
(MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 13577-13583 |
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 378-380 |
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 397-399 |
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 2092-2106 |
|
(=>
(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 204-223 |
|
(=>
(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 659-669 |
|
(=>
(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)) |
Mid-level-ontology.kif 13538-13547 |
|
(=>
(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)) |
Mid-level-ontology.kif 13549-13558 |
|
(=>
(and
(equal
(RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
(not
(equal ?NUMBER2 0)))
(equal
(AdditionFn
(MultiplicationFn
(FloorFn
(DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1)) |
Merge.kif 5104-5115 |
|
(=>
(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 1486-1497 |
|
(=>
(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 5915-5924 |
|
(=>
(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 2969-2986 |
|
(=>
(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 2993-3011 |
|
(=>
(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 3018-3036 |
|
(=>
(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 2945-2962 |
|
(=>
(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 2851-2869 |
|
(=>
(and
(instance ?NUMBER Integer)
(not
(equal ?NUMBER 0)))
(equal 1
(MultiplicationFn ?NUMBER
(ReciprocalFn ?NUMBER)))) |
Merge.kif 5086-5091 |
|
(=>
(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 3095-3109 |
|
(=>
(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 1532-1547 |
|
(=>
(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 2178-2196 |
|
(=>
(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 2138-2152 |
|
(=>
(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 2229-2239 |
|
(=>
(and
(principalAmount ?Account
(MeasureFn ?Balance ?CUNIT))
(fixedInterestRate ?Account ?Rate)
(simpleInterest ?Account
(MeasureFn ?Amount ?CUNIT) ?Period)
(equal ?Rate-Decimal
(DivisionFn ?Rate 100)))
(equal ?Amount
(MultiplicationFn ?Balance ?Rate-Decimal))) |
FinancialOntology.kif 538-548 |
|
(=>
(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 17876-17901 |
|
(=>
(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))))) |
Mid-level-ontology.kif 2754-2767 |
- 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 |
