(=>
(and
(instance ?Compression DataCompression)
(dataProcessed ?Compression ?Data)
(holdsDuring
(ImmediatePastFn
(WhenFn ?Compression))
(memorySize ?Data
(MeasureFn ?Memory ?Measure)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?Compression))
(memorySize ?Data
(MeasureFn ?NewMemory ?Measure))))
(lessThan ?NewMemory ?Memory)) |
QoSontology.kif 1926-1940 |
|
(=>
(and
(instance ?D Decreasing)
(patient ?D ?OBJ))
(exists (?N1 ?N2 ?T1 ?T2 ?U)
(and
(earlier ?T1 ?T2)
(holdsDuring ?T1
(measure ?OBJ
(MeasureFn ?N1 ?U)))
(holdsDuring ?T2
(measure ?OBJ
(MeasureFn ?N2 ?U)))
(lessThan ?N1 ?N2)))) |
Merge.kif 10941-10954 |
|
(=>
(and
(instance ?D DeliveryService)
(destination ?D ?LOC1)
(deliveryRegion ?AGENT ?REGION)
(conditionalProbability
(located ?LOC1 ?REGION)
(agent ?D ?AGENT) ?NUMBER1)
(conditionalProbability
(not
(located ?LOC1 ?REGION))
(agent ?D ?AGENT) ?NUMBER2))
(lessThan ?NUMBER2 ?NUMBER1)) |
Dining.kif 552-561 |
|
(=>
(and
(instance ?DEPOSITION Deposition)
(patient ?DEPOSITION ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?DEPOSITION))
(measure ?OBJ
(MeasureFn ?X Joule)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DEPOSITION))
(measure ?OBJ
(MeasureFn ?Y Joule))))
(lessThan ?Y ?X)) |
Geography.kif 7016-7030 |
|
(=>
(and
(instance ?Drawing DrawingACheck)
(patient ?Drawing ?Check)
(instance ?Processing ProcessingACheck)
(patient ?Processing ?Check)
(equal
(WhenFn ?Drawing) ?DrawingTime)
(equal
(WhenFn ?Processing) ?ProcessingTime)
(meetsTemporally ?DrawingTime ?Time)
(meetsTemporally ?Time ?ProcessingTime)
(duration ?Time
(MeasureFn ?Duration MonthDuration)))
(lessThan ?Duration 6)) |
FinancialOntology.kif 155-166 |
|
(=>
(and
(instance ?FOG Fogging)
(eventLocated ?FOG ?AREA)
(instance ?AREA GeographicArea)
(instance ?AIR AtmosphericRegion)
(orientation ?AIR ?AREA Above)
(instance ?A Aerosal)
(locatedAtTime ?A
(WhenFn ?FOG) ?AIR)
(visibilityInMeteorology ?AREA
(WhenFn ?FOG)
(MeasureFn ?VISIBILITY Meter)))
(lessThan ?VISIBILITY 1000.0)) |
Weather.kif 2537-2550 |
|
(=>
(and
(instance ?H Human)
(holdsDuring ?T
(and
(attribute ?T Hypothermia)
(coreBodyTemp ?H
(MeasureFn ?N CelsiusDegree)))))
(lessThan ?N 35.0)) |
Medicine.kif 651-659 |
|
(=>
(and
(instance ?HAZE AtmosphericHazing)
(eventLocated ?HAZE ?AREA)
(instance ?AREA GeographicArea)
(instance ?AIR AtmosphericRegion)
(orientation ?AIR ?AREA Above)
(locatedAtTime ?PARTICULATE
(WhenFn ?HAZE) ?AIR)
(visibilityInMeteorology ?AREA
(WhenFn ?HAZE)
(MeasureFn ?VISIBILITY Kilometer)))
(and
(greaterThan ?VISIBILITY 2.0)
(lessThan ?VISIBILITY 5.0))) |
Weather.kif 2566-2580 |
|
(=>
(and
(instance ?N Network2G)
(bandwidth ?N
(MeasureFn ?M BitsPerSecond)))
(lessThan ?M 40000)) |
ComputingBrands.kif 1243-1248 |
|
(=>
(and
(instance ?N Network3G)
(bandwidth ?N
(MeasureFn ?M BitsPerSecond)))
(lessThan ?M 200000)) |
ComputingBrands.kif 1288-1293 |
|
(=>
(and
(instance ?N Network4G)
(bandwidth ?N
(MeasureFn ?M
(GigaFn BitsPerSecond))))
(lessThan ?M 1)) |
ComputingBrands.kif 1335-1340 |
|
(=>
(and
(instance ?O Oxidation)
(patient ?O ?S)
(holdsDuring
(BeginFn
(WhenFn ?O))
(electronNumber ?S ?G)))
(exists (?L)
(and
(lessThan ?L ?G)
(holdsDuring
(EndFn
(WhenFn ?O))
(electronNumber ?S ?L))))) |
Mid-level-ontology.kif 19583-19595 |
|
(=>
(and
(instance ?PLACE GeographicArea)
(located ?PLACE ?T)
(instance ?T Tropics))
(exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)
(and
(objectGeographicCoordinates ?PLACE
(MeasureFn ?NUM1 ?U) ?LONG)
(instance ?U UnitOfAngularMeasure)
(lessThan ?NUM1 ?NUM2)
(equal
(MeasureFn ?NUM2 ?U)
(LatitudeFn ?DIR
(MeasureFn 23.0 AngularDegree)
(MeasureFn 26.0 ArcMinute)
(MeasureFn 11.5 ArcSecond)))
(instance ?DIR DirectionalAttribute)
(or
(equal ?DIR North)
(equal ?DIR South))))) |
Geography.kif 3595-3615 |
- Wenn Object ist ein fall von GeographicArea %n{nicht} und ** Object befindet sich an %n{nicht} und ** Object ist ein fall von Tropics %n{nicht},
- dann es gibt RealNumber, Longitude,, , DirectionalAttribute,, , ** RealNumber, and und UnitOfMeasure um objectGeographicCoordinates ** Object, ** RealNumber ** UnitOfMeasure(s) and ** Longitude und ** UnitOfMeasure ist ein fall von UnitOfAngularMeasure %n{nicht} und ** RealNumber ist kleinerAls ** ** RealNumber %n{nicht} und ** ** RealNumber ** UnitOfMeasure(s) ist gleich LatitudeFn ** DirectionalAttribute, 23.0 AngularDegree(s), 26.0 ArcMinute(s) and 11.5 ArcSecond(s) %n{nicht} und ** DirectionalAttribute ist ein fall von DirectionalAttribute %n{nicht} und ** DirectionalAttribute ist gleich North %n{nicht} oder ** DirectionalAttribute ist gleich South %n{nicht}
|
(=>
(and
(instance ?PSP ProfitSharingPlan)
(accountHolder ?PSP ?H)
(employs ?O ?H)
(profit ?A
(MeasureFn ?P ?U))
(instance ?U UnitOfCurrency)
(agent ?A ?O))
(exists (?C ?PAY)
(and
(instance ?PAY FinancialTransaction)
(transactionAmount ?PAY
(MeasureFn ?C ?U))
(lessThan ?C ?P)
(destination ?PAY ?PSP)))) |
FinancialOntology.kif 1192-1207 |
|
(=>
(and
(instance ?RAINFALL Process)
(patient ?RAINFALL ?RAIN)
(instance ?RAIN Water)
(measure ?RAIN
(MeasureFn ?PH PHValue)))
(lessThan ?PH 5.6)) |
Geography.kif 2561-2567 |
|
(=>
(and
(instance ?S Saving)
(patient ?S ?O)
(agent ?S ?A))
(exists (?Q1 ?Q2 ?U)
(and
(instance ?U UnitOfCurrency)
(holdsDuring
(BeginFn
(WhenFn ?S))
(monetaryValue ?O
(MeasureFn ?Q1 ?U)))
(holdsDuring
(EndFn
(WhenFn ?S))
(monetaryValue ?O
(MeasureFn ?Q2 ?U)))
(possesses ?A ?O)
(lessThan ?Q1 ?Q2)))) |
Mid-level-ontology.kif 23828-23845 |
|
(=>
(and
(instance ?SALE BargainSale)
(patient ?SALE ?OBJ)
(instance ?OBJ Object))
(exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
(and
(instance ?U UnitOfCurrency)
(holdsDuring
(ImmediatePastFn
(WhenFn ?SALE))
(price ?OBJ
(MeasureFn ?PRICE1 ?U) ?AGENT1))
(holdsDuring
(WhenFn ?SALE)
(price ?OBJ
(MeasureFn ?PRICE2 ?U) ?AGENT2))
(lessThan ?PRICE2 ?PRICE1)))) |
Mid-level-ontology.kif 7848-7862 |
- Wenn Process ist ein fall von BargainSale %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Entity ist ein fall von Object %n{nicht},
- dann es gibt RealNumber, ** RealNumber,, , ** entity,, , ** entity, and und ** Entity um ** ** Entity ist ein fall von UnitOfCurrency %n{nicht} und price ** Entity, ** RealNumber ** ** Entity(s) and ** ** entity haelt waehrend direkt vor die zeit des Bestehens von ** Process %n{nicht} und price ** Entity, ** ** RealNumber ** ** Entity(s) and ** ** entity haelt waehrend die zeit des Bestehens von ** Process %n{nicht} und ** ** RealNumber ist kleinerAls ** RealNumber %n{nicht}
|
(=>
(and
(instance ?SINKING LandSubsidence)
(patient ?SINKING ?LAND)
(instance ?LAND LandArea)
(instance ?U UnitOfLength)
(elevation ?LAND
(MeasureFn ?HEIGHT1 ?U)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?SINKING))
(exists (?HEIGHT2)
(and
(elevation ?LAND
(MeasureFn ?HEIGHT2 ?U))
(lessThan ?HEIGHT2 ?HEIGHT1))))) |
Geography.kif 6779-6792 |
|
(=>
(and
(instance ?SYSTEM LowPressureWeatherSystem)
(eventLocated ?SYSTEM ?AREA))
(and
(barometricPressure ?AREA
(MeasureFn ?AMOUNT InchMercury))
(lessThan ?AMOUNT 29.5))) |
Weather.kif 543-549 |
|
(=>
(and
(instance ?Stock PennyStock)
(askPrice ?Stock
(MeasureFn ?Price UnitedStatesDollar) ?Date))
(lessThan ?Price 5)) |
FinancialOntology.kif 2208-2212 |
|
(=>
(and
(instance ?TC TropicalCyclonicSystem)
(origin ?TC ?SEA)
(or
(instance ?SEA NorthAtlanticOcean)
(instance ?SEA PacificOcean)
(instance ?SEA IndianOcean)))
(not
(exists (?AREA ?DIR ?NUM ?LONG)
(and
(located ?AREA ?SEA)
(instance ?DIR DirectionalAttribute)
(objectGeographicCoordinates ?AREA
(LatitudeFn ?DIR
(MeasureFn ?NUM AngularDegree)) ?LONG)
(or
(equal ?DIR North)
(equal ?DIR South))
(lessThan ?NUM 5.0))))) |
Weather.kif 627-646 |
|
(=>
(and
(instance ?UNIT AreaMeasure)
(measure Alaska
(MeasureFn ?NUMBER1 ?UNIT))
(measure ?STATE
(MeasureFn ?NUMBER2 ?UNIT))
(instance ?STATE AmericanState)
(not
(equal Alaska ?STATE)))
(lessThan ?NUMBER2 ?NUMBER1)) |
CountriesAndRegions.kif 871-878 |
|
(=>
(and
(instance ?Uptick Uptick)
(patient ?Uptick ?Stock)
(equal
(WhenFn ?Uptick) ?Time1)
(instance ?U UnitOfCurrency)
(price ?Stock
(MeasureFn ?Price1 ?U) ?Time1))
(exists (?Transaction ?Time2 ?Price2)
(and
(instance ?Transaction StockMarketTransaction)
(patient ?Transaction ?Stock)
(equal
(WhenFn ?Transaction) ?Time2)
(meetsTemporally ?Time2 ?Time1)
(price ?Stock
(MeasureFn ?Price2 ?U) ?Time2)
(lessThan ?Price2 ?Price1)))) |
FinancialOntology.kif 3212-3228 |
|
(=>
(and
(instance ?WEARING Erosion)
(instance ?LAND LandForm)
(patient ?WEARING ?LAND)
(instance ?U UnitOfVolume)
(measure ?LAND
(MeasureFn ?SIZE1 ?U)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?WEARING))
(exists (?SIZE2)
(and
(measure ?LAND
(MeasureFn ?SIZE2 ?U))
(lessThan ?SIZE2 ?SIZE1))))) |
Geography.kif 2689-2702 |
|
(=>
(and
(instance ?WN
(NetworkCommunicationFn BluetoothNetwork))
(instance ?R RadiatingElectromagnetic)
(subProcess ?R ?WN)
(carrierFrequency ?R
(MeasureFn ?W
(GigaFn Hertz))))
(and
(greaterThan ?W 2.4)
(lessThan ?W 2.485))) |
ComputingBrands.kif 1579-1588 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |