(=>
(and
(instance ?T Tornado)
(instance ?R Rotating)
(instance ?A Air)
(instance ?TRAN Translocation)
(subProcess ?R ?T)
(subProcess ?TRAN ?R)
(patient ?TRAN ?A)
(direction ?TRAN Horizontal))
(exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(and
(instance ?G GeographicArea)
(eventLocated ?T ?G)
(part ?FUNNEL ?A)
(attribute ?FUNNEL ConeSegment)
(top ?TOP ?FUNNEL)
(bottom ?BOTTOM ?FUNNEL)
(instance ?C Cloud)
(bottom ?BASE ?C)
(meetsSpatially ?TOP ?BASE)
(meetsSpatially ?BOTTOM ?G)))) |
Weather.kif 1651-1672 |
- If a process is an instance of tornado and another process is an instance of rotating and an object is an instance of air and the processRAN is an instance of translocation and the other process is a subprocess of the process and the processRAN is a subprocess of the other process and the object is a patient of the processRAN and entities in the process the processRAN are moving horizontal,
- then there exist another object, a self connected object,, , the processOP,, , a third self connected object,, , a fourth self connected object and a fifth self connected object such that the other object is an instance of geographic area and the process is located at the other object and the self connected object is a part of the object and cone segment is an attribute of the self connected object and the top of the self connected object is the processOP and the bottom of the self connected object is the third self connected object and the fourth self connected object is an instance of cloud and the bottom of the fourth self connected object is the fifth self connected object and the processOP meets the fifth self connected object and the third self connected object meets the other object
|
(=>
(and
(instance ?TEXT BirthCertificate)
(instance ?B Birth)
(instance ?A Human)
(experiencer ?B ?A))
(containsFormula ?TEXT
(exists (?DAY ?P ?N)
(and
(birthdate ?A ?DAY)
(instance ?DAY Day)
(birthplace ?A ?P)
(instance ?P GeographicArea)
(represents ?N ?A)
(instance ?N Name))))) |
Biography.kif 250-264 |
|
(=>
(and
(instance ?TEXT DeathCertificate)
(instance ?D Death)
(instance ?A Human)
(experiencer ?D ?A))
(containsFormula ?TEXT
(exists (?DAY ?P ?N ?PROC)
(and
(deathdate ?A ?DAY)
(instance ?DAY Day)
(deathplace ?A ?P)
(instance ?P GeographicArea)
(represents ?N ?A)
(instance ?N Name)
(causes ?PROC ?D)
(instance ?PROC Process))))) |
Biography.kif 280-296 |
|
(=>
(climateTypeInArea ?AREA ?CLASS)
(exists (?REGION ?TYPE)
(and
(instance ?REGION GeographicArea)
(instance ?TYPE ?CLASS)
(attribute ?REGION ?TYPE)
(part ?REGION ?AREA)))) |
Geography.kif 1254-1261 |
|
(=>
(codeMapping ISO-3166-1-alpha-2 ?TOKEN ?X)
(and
(instance ?X GeographicArea)
(instance ?TOKEN AlphabeticString)
(stringLength 2 ?TOKEN))) |
Media.kif 2636-2641 |
|
(=>
(elevation ?OBJECT ?HEIGHT)
(exists (?PLACE)
(and
(instance ?PLACE GeographicArea)
(located ?OBJECT ?PLACE)))) |
Geography.kif 1901-1906 |
|
(=>
(instance ?CAC Cactus)
(modalAttribute
(exists (?AREA)
(and
(instance ?AREA GeographicArea)
(located ?CAC ?AREA)
(exists (?D)
(and
(instance ?D Drought)
(eventLocated ?D ?AREA))))) Likely)) |
Geography.kif 6280-6290 |
|
(=>
(instance ?DUSTSTORM DustStorm)
(or
(exists (?AREA1)
(and
(instance ?AREA1 GeographicArea)
(climateTypeInArea ?AREA1 AridClimateZone)
(eventLocated ?DUSTSTORM ?AREA1)))
(exists (?AREA2)
(and
(instance ?AREA2 GeographicArea)
(climateTypeInArea ?AREA2 SemiaridClimateZone)
(eventLocated ?DUSTSTORM ?AREA2))))) |
Weather.kif 1261-1273 |
|
(=>
(instance ?H Hurricane)
(exists (?TC ?PLACE ?WIND)
(and
(instance ?TC TropicalCyclone)
(instance ?PLACE GeographicArea)
(eventLocated ?TC ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TC)))
(greaterThanOrEqualTo ?WIND 74.0)))) |
Weather.kif 740-751 |
|
(=>
(instance ?M GroundAttackMissile)
(hasPurpose ?M
(exists (?OBJ ?REGION ?DAMAGE)
(and
(instrument ?DAMAGE ?M)
(patient ?DAMAGE ?OBJ)
(instance ?DAMAGE Damaging)
(instance ?REGION GeographicArea)
(holdsDuring
(BeginFn
(WhenFn ?DAMAGE))
(and
(located ?M ?REGION)
(located ?OBJ ?REGION))))))) |
MilitaryDevices.kif 999-1013 |
|
(=>
(instance ?M Map)
(exists (?A)
(and
(instance ?A GeographicArea)
(represents ?M ?A)))) |
Mid-level-ontology.kif 13260-13265 |
|
(=>
(instance ?M SurfaceWindSpeedMeasuring)
(exists (?PLACE ?TOOL)
(and
(instance ?PLACE GeographicArea)
(instance ?TOOL Device)
(eventLocated ?M ?PLACE)
(instrument ?M ?TOOL)
(holdsDuring
(WhenFn ?M)
(elevation ?TOOL
(MeasureFn 10.0 Meter)))))) |
Weather.kif 1732-1742 |
|
(=>
(instance ?PROCESS Blizzard)
(exists (?AREA ?DIST)
(and
(instance ?AREA GeographicArea)
(eventLocated ?PROCESS ?AREA)
(visibilityInMeteorology ?AREA
(WhenFn ?PROCESS)
(MeasureFn ?DIST Meter))
(lessThan ?DIST 400.0)))) |
Weather.kif 2642-2651 |
|
(=>
(instance ?PROCESS Blizzard)
(holdsDuring
(WhenFn ?PROCESS)
(exists (?AREA ?GALE ?DURATION)
(and
(instance ?AREA GeographicArea)
(eventLocated ?PROCESS ?AREA)
(surfaceWindSpeed ?AREA
(MeasureFn ?GALE KnotUnitOfSpeed))
(greaterThan ?GALE 35.0)
(duration
(WhenFn ?PROCESS)
(MeasureFn ?DURATION HourDuration))
(greaterThan ?DURATION 3))))) |
Weather.kif 2627-2640 |
|
(=>
(instance ?SNOWSTORM Snowstorm)
(holdsDuring
(WhenFn ?SNOWSTORM)
(exists (?SNOW ?AREA ?NUM)
(and
(instance ?SNOW Snowing)
(instance ?AREA GeographicArea)
(eventLocated ?SNOW ?AREA)
(subProcess ?SNOW ?SNOWSTORM)
(snowfallIntensity ?AREA
(WhenFn ?SNOW)
(PerFn
(MeasureFn ?NUM Centimeter)
(MeasureFn 1 HourDuration)))
(greaterThan ?NUM 5.0))))) |
Weather.kif 2940-2955 |
|
(=>
(instance ?STORM Storm)
(holdsDuring
(WhenFn ?STORM)
(exists (?AREA ?STRONG)
(and
(instance ?AREA GeographicArea)
(surfaceWindSpeed ?AREA
(MeasureFn ?STRONG KnotUnitOfSpeed))
(greaterThan ?STRONG 30.0))))) |
Weather.kif 2905-2914 |
|
(=>
(instance ?STORM Storm)
(holdsDuring
(WhenFn ?STORM)
(modalAttribute
(exists (?P ?AREA)
(and
(instance ?P Precipitation)
(instance ?AREA GeographicArea)
(eventLocated ?P ?AREA)
(subProcess ?P ?STORM))) Likely))) |
Weather.kif 2893-2903 |
|
(=>
(instance ?STORM TropicalCyclonicSystem)
(exists (?PLACE)
(and
(instance ?PLACE GeographicArea)
(geographicSubregion ?PLACE Tropics)
(origin ?STORM ?PLACE)))) |
Weather.kif 619-625 |
|
(=>
(instance ?T Typhoon)
(exists (?TC ?PLACE ?WIND)
(and
(instance ?TC TropicalCyclone)
(instance ?PLACE GeographicArea)
(eventLocated ?TC ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean10MinutesWindSpeedFn ?PLACE
(WhenFn ?TC)))
(greaterThanOrEqualTo ?WIND 64.0)))) |
Weather.kif 774-785 |
|
(=>
(instance ?TC TropicalCyclone)
(exists (?PLACE ?WIND)
(and
(instance ?PLACE GeographicArea)
(eventLocated ?TC ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TC)))
(greaterThanOrEqualTo ?WIND 44.0)))) |
Weather.kif 681-691 |
|
(=>
(instance ?TD TropicalDepression)
(exists (?PLACE ?WIND)
(and
(instance ?PLACE GeographicArea)
(eventLocated ?TD ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TD)))
(lessThanOrEqualTo ?WIND 38.0)))) |
Weather.kif 660-670 |
|
(=>
(instance ?TS TropicalStorm)
(exists (?PLACE ?WIND)
(and
(instance ?PLACE GeographicArea)
(eventLocated ?TS ?PLACE)
(equal
(MeasureFn ?WIND MilesPerHour)
(Mean1MinuteWindSpeedFn ?PLACE
(WhenFn ?TS)))
(greaterThanOrEqualTo ?WIND 39.0)
(lessThanOrEqualTo ?WIND 74.0)))) |
Weather.kif 716-727 |
|
(=>
(instance ?X DiningGuide)
(exists (?LOC ?REST)
(and
(instance ?LOC GeographicArea)
(refers ?X ?LOC)
(instance ?REST Restaurant)
(located ?REST ?LOC)
(refers ?X ?REST)))) |
Mid-level-ontology.kif 26359-26367 |
|
(=>
(instance ?X GuideBook)
(exists (?LOC)
(and
(instance ?LOC GeographicArea)
(refers ?X ?LOC)))) |
Mid-level-ontology.kif 26347-26352 |
|
(=>
(instance ?X Kidnapping)
(exists (?A ?LOC1 ?LOC2)
(and
(instance ?A SentientAgent)
(instance ?LOC1 GeographicArea)
(instance ?LOC2 GeographicArea)
(not
(equal ?LOC1 ?LOC2))
(holdsDuring
(ImmediatePastFn
(WhenFn ?X))
(located ?A ?LOC1))
(holdsDuring
(WhenFn ?X)
(located ?A ?LOC2))))) |
Mid-level-ontology.kif 21909-21924 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |