(<=>
(measure ?O
(MeasureFn ?A MetricTon))
(measure ?O
(MeasureFn
(MultiplicationFn ?A 2205.0) PoundMass))) |
Mid-level-ontology.kif 13605-13611 |
Das mass von Physical ist RealNumber MetricTon(s) %n{nicht} genau dann wenn das mass von ** Physical ist ** RealNumber und 2205.0 PoundMass(s) %n{nicht} |
(<=>
(measure ?OBJ
(MeasureFn ?DEG AngularDegree))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60.0 ?DEG) ArcMinute))) |
Geography.kif 378-380 |
Das mass von Physical ist RealNumber AngularDegree(s) %n{nicht} genau dann wenn das mass von ** Physical ist 60.0 und ** RealNumber ArcMinute(s) %n{nicht} |
(<=>
(measure ?OBJ
(MeasureFn ?DEG ArcMinute))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60.0 ?DEG) ArcSecond))) |
Geography.kif 397-399 |
Das mass von Physical ist RealNumber ArcMinute(s) %n{nicht} genau dann wenn das mass von ** Physical ist 60.0 und ** RealNumber ArcSecond(s) %n{nicht} |
(=>
(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 13566-13575 |
|
(=>
(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 13577-13586 |
|
(=>
(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 17906-17931 |
|
(=>
(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 2782-2795 |
- Wenn Flat ist ein attribut von SelfConnectedObject %n{nicht},
- dann es gibt ** SelfConnectedObject, ** SelfConnectedObject,, , RealNumber,, , ** RealNumber,, , ** RealNumber, and und UnitOfMeasure um eine seite von ** SelfConnectedObject ist ** ** SelfConnectedObject und eine seite von ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ** SelfConnectedObject schliesst ** ** SelfConnectedObject raeumlich an und ** ** SelfConnectedObject ist gleich ** ** SelfConnectedObject nicht und ** UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und die hoehe von ** SelfConnectedObject ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** ** RealNumber ist groesserAls 2.0 und ** RealNumber %n{nicht} und ** ** RealNumber ist groesserAls 2.0 und ** RealNumber %n{nicht}
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |