(=>
(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 1633-1654 |
- 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 |
|
(=>
(and
(instance ?W Transitway)
(attribute ?W BiDirectionalTraffic))
(exists (?P)
(and
(instance ?P Policy)
(confersNorm ?P
(exists (?T1 ?A ?B)
(and
(instance ?T1 Transportation)
(path ?T1 ?W)
(instance ?A GeographicArea)
(origin ?T1 ?A)
(instance ?B GeographicArea)
(destination ?T1 ?B)
(holdsDuring
(WhenFn ?T1)
(exists (?T2)
(and
(instance ?T2 Transportation)
(path ?T2 ?W)
(origin ?T1 ?B)
(destination ?T1 ?A)
(not
(equal ?T1 ?T2))))))) Permission)))) |
Transportation.kif 3239-3263 |
|
(=>
(and
(instance ?W Transitway)
(attribute ?W UniDirectionalTraffic))
(exists (?P)
(and
(instance ?P Policy)
(confersNorm ?P
(exists (?T1 ?A ?B)
(and
(instance ?T1 Transportation)
(path ?T1 ?W)
(instance ?A GeographicArea)
(origin ?T1 ?A)
(instance ?B GeographicArea)
(destination ?T1 ?B)
(holdsDuring
(WhenFn ?T1)
(exists (?T2)
(and
(instance ?T2 Transportation)
(path ?T2 ?W)
(origin ?T1 ?B)
(destination ?T1 ?A)
(not
(equal ?T1 ?T2))))))) Prohibition)))) |
Transportation.kif 3272-3296 |
|
(=>
(attribute ?A UrbanArea)
(instance ?A GeographicArea)) |
Mid-level-ontology.kif 27717-27719 |
|
(=>
(climateTypeInArea ?AREA ?CLASS)
(exists (?REGION ?TYPE)
(and
(instance ?REGION GeographicArea)
(instance ?TYPE ?CLASS)
(attribute ?REGION ?TYPE)
(part ?REGION ?AREA)))) |
Geography.kif 1248-1255 |
|
(=>
(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 1889-1894 |
|
(=>
(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 6370-6380 |
|
(=>
(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 1245-1257 |
|
(=>
(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 724-735 |
|
(=>
(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 14184-14189 |
|
(=>
(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 1714-1724 |
|
(=>
(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 2624-2633 |
|
(=>
(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 2609-2622 |
|
(=>
(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 2922-2937 |
|
(=>
(instance ?STORM Storm)
(holdsDuring
(WhenFn ?STORM)
(exists (?AREA ?STRONG)
(and
(instance ?AREA GeographicArea)
(surfaceWindSpeed ?AREA
(MeasureFn ?STRONG KnotUnitOfSpeed))
(greaterThan ?STRONG 30.0))))) |
Weather.kif 2887-2896 |
|
(=>
(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 2875-2885 |
|
(=>
(instance ?STORM TropicalCyclonicSystem)
(exists (?PLACE)
(and
(instance ?PLACE GeographicArea)
(geographicSubregion ?PLACE Tropics)
(origin ?STORM ?PLACE)))) |
Weather.kif 603-609 |
|
(=>
(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 758-769 |
|
(=>
(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 665-675 |
|
(=>
(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 644-654 |
|
(=>
(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 700-711 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
