(<=>
(measure ?O
(MeasureFn ?A MetricTon))
(measure ?O
(MeasureFn
(MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 13452-13458 |
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 2097-2111 |
|
(=>
(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 666-676 |
|
(=>
(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 13413-13422 |
|
(=>
(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 13424-13433 |
|
(=>
(and
(equal
(RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
(not
(equal ?NUMBER2 0)))
(equal
(AdditionFn
(MultiplicationFn
(FloorFn
(DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1)) |
Merge.kif 5075-5086 |
|
(=>
(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 ?NUMBER Integer)
(not
(equal ?NUMBER 0)))
(equal 1
(MultiplicationFn ?NUMBER
(ReciprocalFn ?NUMBER)))) |
Merge.kif 5057-5062 |
|
(=>
(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 2183-2201 |
|
(=>
(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 2143-2157 |
|
(=>
(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 2243-2253 |
|
(=>
(and
(price ?Stocks
(MeasureFn ?Number UnitedStatesDollar) ?Time)
(exists (?Event)
(and
(splitFor ?Event ?N1 ?N2)
(equal
(WhenFn ?Event) ?TimeOfSplit))))
(exists (?N3 ?NewNumber ?TimeAfterSplit)
(and
(equal ?N3
(MultiplicationFn ?Number ?N1))
(equal ?NewNumber
(DivisionFn ?N3 ?N2))
(price ?Stocks
(MeasureFn ?NewNumber UnitedStatesDollar) ?TimeAfterSplit)
(meetsTemporally ?Time ?TimeOfSplit)
(meetsTemporally ?TimeOfSplit ?TimeAfterSplit)))) |
FinancialOntology.kif 2255-2268 |
|
(=>
(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 17748-17773 |
|
(=>
(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 2747-2760 |
- 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
|
(=>
(attribute ?F LongAndThin)
(exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
(and
(side ?S1 ?F)
(side ?S2 ?F)
(meetsSpatially ?S1 ?S2)
(not
(equal ?S1 ?S2))
(instance ?U UnitOfLength)
(length ?F
(MeasureFn ?HF ?U))
(length ?S1
(MeasureFn ?H1 ?U))
(length ?S2
(MeasureFn ?H2 ?U))
(lessThan ?H1
(MultiplicationFn 3.0 ?HF))
(lessThan ?H2
(MultiplicationFn 3.0 ?HF))))) |
Mid-level-ontology.kif 2768-2781 |
- If long and thin 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 length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
|
(=>
(circumfrence ?CIRCLE ?LENGTH)
(exists (?D ?UNIT)
(and
(diameter ?CIRCLE
(MeasureFn ?D ?UNIT))
(equal
(MeasureFn
(MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH)))) |
Mid-level-ontology.kif 31054-31062 |
|
(=>
(diameter ?CIRCLE ?LENGTH)
(exists (?NHALF ?UHALF)
(and
(radius ?CIRCLE
(MeasureFn ?NHALF ?UHALF))
(equal
(MeasureFn
(MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH)))) |
Merge.kif 7636-7641 |
|
(=>
(equal
(DiameterFn ?C)
(MeasureFn ?L ?U))
(exists (?R)
(and
(equal
(RadiusFn ?C)
(MeasureFn ?R ?U))
(equal
(MultiplicationFn ?R 2.0) ?L)))) |
Mid-level-ontology.kif 4912-4917 |
|
(=>
(equal
(SquareRootFn ?NUMBER1) ?NUMBER2)
(equal
(MultiplicationFn ?NUMBER2 ?NUMBER2) ?NUMBER1)) |
Merge.kif 5192-5194 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |