(=>
(and
(instance ?L LightningStrike)
(instance ?A WaterCloud)
(origin ?L ?A)
(destination ?L ?G))
(instance ?G GeographicArea)) |
Weather.kif 1005-1011 |
|
(=>
(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 2040-2061 |
- Wenn Prozess ist ein fall von Tornado %n{nicht} und ** Prozess ist ein fall von Rotating %n{nicht} und Gegenstand ist ein fall von Air %n{nicht} und ** ProzessRAN ist ein fall von Translocation %n{nicht} und ** ** Prozess ist ein subProzess von ** Prozess und ** ProzessRAN ist ein subProzess von ** ** Prozess und ** Gegenstand ist ein patient von ** ProzessRAN %n{nicht} und Wesen bei ** ProzessRAN bewegen Horizontal,
- dann es gibt ** Gegenstand, selbstverbundener Gegenstand,, , ** ProzessOP,, , ** selbstverbundener Gegenstand,, , ** selbstverbundener Gegenstand, and und ** selbstverbundener Gegenstand um ** ** Gegenstand ist ein fall von geographischer Bereich %n{nicht} und eventLocated ** Prozess and ** ** Gegenstand und ** selbstverbundener Gegenstand ist ein teil von ** Gegenstand %n{nicht} und ConeSegment ist ein attribut von ** selbstverbundener Gegenstand %n{nicht} und die oberseite von ** selbstverbundener Gegenstand ist ** ProzessOP und die unterseite von ** selbstverbundener Gegenstand ist ** ** selbstverbundener Gegenstand und ** ** selbstverbundener Gegenstand ist ein fall von Cloud %n{nicht} und die unterseite von ** ** selbstverbundener Gegenstand ist ** ** selbstverbundener Gegenstand und ** ProzessOP schliesst ** ** selbstverbundener Gegenstand raeumlich an und ** ** selbstverbundener Gegenstand schliesst ** ** Gegenstand raeumlich an
|
(=>
(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 256-270 |
|
(=>
(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 287-303 |
|
(=>
(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 3242-3266 |
|
(=>
(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 3275-3299 |
|
(=>
(attribute ?A UrbanArea)
(instance ?A GeographicArea)) |
Mid-level-ontology.kif 28523-28525 |
|
(=>
(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 2638-2643 |
|
(=>
(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 6372-6382 |
|
(=>
(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 1652-1664 |
|
(=>
(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 1156-1170 |
|
(=>
(instance ?M Map)
(exists (?A)
(and
(instance ?A GeographicArea)
(represents ?M ?A)))) |
Mid-level-ontology.kif 14627-14632 |
|
(=>
(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 2121-2131 |
|
(=>
(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 3031-3040 |
|
(=>
(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 3016-3029 |
|
(=>
(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 3330-3345 |
|
(=>
(instance ?STORM Storm)
(holdsDuring
(WhenFn ?STORM)
(exists (?AREA ?STRONG)
(and
(instance ?AREA GeographicArea)
(surfaceWindSpeed ?AREA
(MeasureFn ?STRONG KnotUnitOfSpeed))
(greaterThan ?STRONG 30.0))))) |
Weather.kif 3295-3304 |
|
(=>
(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 3283-3293 |
|
(=>
(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 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
