(=>
(and
(instance ?D Antidiuretic)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?D)
(instance ?U1 Urination)
(result ?U1 ?P1)
(agent ?U1 ?H)
(instance ?U2 Urination)
(not
(equal ?U1 ?U2))
(result ?U2 ?P2)
(agent ?U2 ?H)
(earlier ?U1 ?I)
(earlier ?I ?U2)
(instance ?V UnitOfVolume)
(measure ?U1
(MeasureFn ?N1 ?V))
(measure ?U2
(MeasureFn ?N2 ?V)))
(modalAttribute
(greaterThan ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 10055-10078 |
|
(=>
(and
(instance ?D Decelerating)
(agent ?D ?A))
(exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(and
(holdsDuring
(BeginFn
(WhenFn ?D))
(measure ?A
(SpeedFn
(MeasureFn ?L1 ?U1)
(MeasureFn ?T1 ?U2))))
(holdsDuring
(EndFn
(WhenFn ?D))
(measure ?A
(SpeedFn
(MeasureFn ?L2 ?U1)
(MeasureFn ?T2 ?U2))))
(or
(greaterThan ?L1 ?L2)
(greaterThan ?T1 ?T2))))) |
Mid-level-ontology.kif 17171-17191 |
- Wenn Process ist ein fall von Decelerating %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht},
- dann es gibt RealNumber, ** RealNumber,, , ** RealNumber,, , ** RealNumber,, , entity, and und ** entity um das mass von ** AutonomousAgent ist ** RealNumber ** entity(s) pro &2 %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und das mass von ** AutonomousAgent ist ** ** RealNumber ** entity(s) pro &2 %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht} und ** RealNumber ist groesserAls ** ** RealNumber %n{nicht} oder ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
|
(=>
(and
(instance ?D Diuretic)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?D)
(instance ?U1 Urination)
(result ?U1 ?P1)
(agent ?U1 ?H)
(instance ?U2 Urination)
(result ?U2 ?P2)
(agent ?U2 ?H)
(earlier ?U1 ?I)
(earlier ?I ?U2)
(instance ?V UnitOfVolume)
(measure ?U1
(MeasureFn ?N1 ?V))
(measure ?U2
(MeasureFn ?N2 ?V)))
(modalAttribute
(greaterThan ?N2 ?N1) Likely)) |
Mid-level-ontology.kif 10025-10046 |
|
(=>
(and
(instance ?D Dune)
(height ?D
(MeasureFn ?N Centimeter)))
(greaterThan ?D 7.0)) |
Geography.kif 4401-4405 |
|
(=>
(and
(instance ?D Increasing)
(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)))
(greaterThan ?N1 ?N2)))) |
Merge.kif 10899-10912 |
|
(=>
(and
(instance ?DUSTSTORM DustStorm)
(instance ?WIND Wind)
(subProcess ?DUSTSTORM ?WIND))
(exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(and
(instance ?A1 LandArea)
(eventLocated ?WIND ?A1)
(surfaceWindSpeed ?A1
(MeasureFn ?STRONG KnotUnitOfSpeed))
(greaterThan ?STRONG 30.0)
(instance ?TRANSLOCATE Translocation)
(subProcess ?TRANSLOCATE ?DUSTSTORM)
(objectTransferred ?TRANSLOCATE ?PM)
(objectTransferred ?TRANSLOCATE ?SAND)
(instance ?PM ParticulateMatter)
(instance ?SAND Sand)
(instance ?A2 LandArea)
(destination ?TRANSLOCATE ?A2)
(not
(overlapsSpatially ?A1 ?A2))))) |
Weather.kif 1275-1296 |
- Wenn Process ist ein fall von DustStorm %n{nicht} und ** Process ist ein fall von Wind %n{nicht} und ** Process ist ein subProzess von ** ** Process,
- dann es gibt Transfer, Object,, , ** Object,, , ** Object,, , ** Object, and und RealNumber um ** ** Object ist ein fall von LandArea %n{nicht} und eventLocated ** ** Process and ** ** Object und surfaceWindSpeed ** ** Object and ** RealNumber KnotUnitOfSpeed(s) und ** RealNumber ist groesserAls 30.0 %n{nicht} und ** Transfer ist ein fall von Translocation %n{nicht} und ** Transfer ist ein subProzess von ** Process und objectTransferred ** Transfer and ** Object und objectTransferred ** Transfer and ** ** Object und ** Object ist ein fall von ParticulateMatter %n{nicht} und ** ** Object ist ein fall von Sand %n{nicht} und ** ** Object ist ein fall von LandArea %n{nicht} und ** Transfer endet an ** ** Object %n{nicht} und ** ** Object deckt sich mit ** ** Object raeumlich nicht
|
(=>
(and
(instance ?Downtick Downtick)
(patient ?Downtick ?Stock)
(equal
(WhenFn ?Downtick) ?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)
(greaterThan ?Price2 ?Price1)))) |
FinancialOntology.kif 3234-3250 |
|
(=>
(and
(instance ?E Motion)
(instance ?T Tremor)
(instance ?D Damper)
(patient ?T ?O)
(part ?D ?O)
(causes ?E ?T)
(instance ?U UnitOfLength)
(holdsDuring
(WhenFn ?E)
(physicalAmplitude ?T
(MeasureFn ?A1 ?U)))
(holdsDuring
(ImmediateFutureFn ?E)
(physicalAmplitude ?T
(MeasureFn ?A2 ?U))))
(greaterThan ?A1 ?A2)) |
Cars.kif 777-792 |
|
(=>
(and
(instance ?EC EngineChoke)
(holdsDuring ?FSC1
(attribute ?EC DeviceOn))
(holdsDuring ?FSC2
(attribute ?EC DeviceOff))
(instance ?C EngineCylinder)
(capacity ?C ?M)
(instance ?FSC1 FourStrokeCompression)
(instance ?FSC2 FourStrokeCompression)
(eventLocated ?FSC1 ?C)
(eventLocated ?FSC2 ?C)
(instance ?A1 Air)
(instance ?F1 Fuel)
(part ?A1 ?MIX1)
(part ?F1 ?MIX1)
(measure ?MIX1 ?M)
(instance ?A2 Air)
(instance ?F2 Fuel)
(part ?A2 ?MIX2)
(part ?F2 ?MIX2)
(measure ?MIX2 ?M)
(instance ?U UnitOfMeasure)
(measure ?A1
(MeasureFn ?A1M ?U))
(measure ?A2
(MeasureFn ?A2M ?U))
(measure ?F1
(MeasureFn ?F1M ?U))
(measure ?F2
(MeasureFn ?F2M ?U)))
(greaterThan
(DivisionFn ?A2M ?F2M)
(DivisionFn ?A1M ?F1M))) |
Cars.kif 1314-1348 |
|
(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(eventLocated ?EC ?E)
(instance ?U UnitOfVolume)
(holdsDuring
(WhenFn ?EC)
(maxCylinderVolume ?E
(MeasureFn ?V1 ?U))))
(not
(exists (?V2 ?T)
(and
(during ?T
(WhenFn ?EC))
(holdsDuring ?T
(measure ?CC
(MeasureFn ?V2 ?U)))
(greaterThan ?V2 ?V1))))) |
Cars.kif 1898-1917 |
|
(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(eventLocated ?EC ?E)
(instance ?U UnitOfVolume)
(holdsDuring
(WhenFn ?EC)
(minCylinderVolume ?E
(MeasureFn ?V1 ?U))))
(not
(exists (?V2 ?T)
(and
(during ?T
(WhenFn ?EC))
(holdsDuring ?T
(measure ?CC
(MeasureFn ?V2 ?U)))
(greaterThan ?V1 ?V2))))) |
Cars.kif 1868-1887 |
|
(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?P Piston)
(instance ?U UnitOfLength)
(part ?P ?E)
(patient ?EC ?P)
(eventLocated ?EC ?E)
(pistonStroke ?E
(MeasureFn ?LM ?U)))
(not
(exists (?T1 ?T2 ?L1 ?L2 ?D)
(and
(during ?T1
(WhenFn ?EC))
(during ?T2
(WhenFn ?EC))
(holdsDuring ?T1
(located ?P ?L1))
(holdsDuring ?T2
(located ?P ?L2))
(distance ?L1 ?L2
(MeasureFn ?D ?U))
(greaterThan ?D ?LM))))) |
Cars.kif 1943-1965 |
|
(=>
(and
(instance ?EG EngineGovernor)
(instance ?E Engine)
(connectedEngineeringComponents ?EG ?E)
(governorSpeed ?E
(MeasureFn ?S MilesPerHour)))
(hasPurpose ?EG
(not
(exists (?R ?P ?M)
(and
(instance ?P Device)
(part ?P ?E)
(instance ?R Rotating)
(holdsDuring
(WhenFn ?R)
(and
(measure ?P
(MeasureFn ?M MilesPerHour))
(greaterThan ?M ?S)))))))) |
Cars.kif 2930-2948 |
|
(=>
(and
(instance ?EG EngineGovernor)
(instance ?V Vehicle)
(connectedEngineeringComponents ?EG ?V)
(governorSpeed ?E
(MeasureFn ?S MilesPerHour)))
(hasPurpose ?EG
(not
(exists (?T ?M)
(and
(instance ?T Translocation)
(holdsDuring
(WhenFn ?T)
(and
(measure ?V
(MeasureFn ?M MilesPerHour))
(greaterThan ?M ?S)))))))) |
Cars.kif 2957-2973 |
|
(=>
(and
(instance ?ELECTION PopularElection)
(electionWinner ?ELECTION ?POSITION ?PERSON1)
(voteFractionReceived ?ELECTION ?POSITION ?PERSON1 ?NUMBER1)
(voteFractionReceived ?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
(not
(equal ?PERSON1 ?PERSON2)))
(greaterThan ?NUMBER1 ?NUMBER2)) |
Government.kif 1893-1900 |
|
(=>
(and
(instance ?EVAP Evaporating)
(boilingPoint ?CLASS
(MeasureFn ?BOILVAL ?MEAS))
(instance ?OBJ ?CLASS)
(measure ?OBJ
(MeasureFn ?VAL ?MEAS))
(instance ?MEAS UnitOfTemperature)
(patient ?EVAP ?OBJ))
(exists (?PART)
(and
(part ?PART ?OBJ)
(greaterThan ?BOILVAL ?VAL)
(holdsDuring
(BeginFn
(WhenFn ?EVAP))
(attribute ?PART Liquid))
(holdsDuring
(EndFn
(WhenFn ?EVAP))
(attribute ?PART Gas))))) |
Merge.kif 13953-13966 |
|
(=>
(and
(instance ?F Flooding)
(eventLocated ?F ?P))
(exists (?L1 ?L2 ?U)
(and
(instance ?U UnitOfLength)
(holdsDuring
(BeginFn
(WhenFn ?F))
(waterDepth ?P
(MeasureFn ?L1 ?U)))
(holdsDuring
(EndFn
(WhenFn ?F))
(waterDepth ?P
(MeasureFn ?L2 ?U)))
(greaterThan ?L2 ?L1)))) |
Mid-level-ontology.kif 17585-17600 |
|
(=>
(and
(instance ?G SpeedGovernor)
(governorSpeed ?V
(MeasureFn ?S MilesPerHour))
(connectedEngineeringComponents ?G ?V))
(hasPurpose ?G
(not
(exists (?SP2)
(and
(measure ?V
(MeasureFn ?SP2 MilesPerHour))
(greaterThan ?SP2 ?S)))))) |
Cars.kif 2909-2921 |
|
(=>
(and
(instance ?H Human)
(attribute ?H Fever))
(exists (?N)
(and
(measure ?H
(MeasureFn ?N FahrenheitDegree))
(greaterThan ?N 98.6)))) |
Mid-level-ontology.kif 6161-6169 |
|
(=>
(and
(instance ?H Human)
(holdsDuring ?T
(and
(attribute ?T Hyperthermia)
(coreBodyTemp ?H
(MeasureFn ?N CelsiusDegree)))))
(greaterThan ?N 38.3)) |
Medicine.kif 686-694 |
|
(=>
(and
(instance ?H Hurricane)
(instance ?SS SSHWS5)
(eventLocated ?H ?AREA)
(believes ?A
(property ?H ?SS)))
(exists (?WIND)
(and
(greaterThan ?WIND 157.0)
(believes ?A
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?AREA
(WhenFn ?H))))))) |
Weather.kif 2443-2457 |
|
(=>
(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 ?HEAT Heating)
(patient ?HEAT ?OBJ))
(exists (?UNIT ?QUANT1 ?QUANT2)
(and
(instance ?UNIT TemperatureMeasure)
(holdsDuring
(BeginFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT) ?QUANT1))
(holdsDuring
(EndFn
(WhenFn ?HEAT))
(equal
(MeasureFn ?OBJ ?UNIT) ?QUANT2))
(greaterThan ?QUANT2 ?QUANT1)))) |
Merge.kif 10920-10933 |
|
(=>
(and
(instance ?I Insomnia)
(experiencer ?I ?H))
(exists (?S ?D ?D2)
(and
(instance ?S Sleeping)
(experiencer ?S ?H)
(duration
(WhenFn ?S) ?D)
(desires ?H
(and
(duration
(WhenFn ?S) ?D2)
(greaterThan ?D2 ?D)))))) |
Mid-level-ontology.kif 16447-16459 |
|
(=>
(and
(instance ?IBD GravesDisease)
(experiencer ?IBD ?H1)
(instance ?H1 Human)
(instance ?T1 ThyroidHormone)
(part ?T1 ?H1)
(measure ?T1
(MeasureFn ?N1 ?U))
(instance ?H2 Human)
(instance ?T2 ThyroidHormone)
(part ?T2 ?H2)
(measure ?T2
(MeasureFn ?N2 ?U))
(attribute ?H2 Healthy))
(greaterThan ?N1 ?N2)) |
Medicine.kif 2336-2351 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |