(=>
(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 |
- Wenn Process ist ein fall von Tornado %n{nicht} und ** Process ist ein fall von Rotating %n{nicht} und Object ist ein fall von Air %n{nicht} und ** ProcessRAN ist ein fall von Translocation %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ProcessRAN ist ein subProzess von ** ** Process und ** Object ist ein patient von ** ProcessRAN %n{nicht} und Wesen bei ** ProcessRAN bewegen Horizontal,
- dann es gibt ** Object, SelfConnectedObject,, , ** ProcessOP,, , ** SelfConnectedObject,, , ** SelfConnectedObject, and und ** SelfConnectedObject um ** ** Object ist ein fall von GeographicArea %n{nicht} und eventLocated ** Process and ** ** Object und ** SelfConnectedObject ist ein teil von ** Object %n{nicht} und ConeSegment ist ein attribut von ** SelfConnectedObject %n{nicht} und die oberseite von ** SelfConnectedObject ist ** ProcessOP und die unterseite von ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ** SelfConnectedObject ist ein fall von Cloud %n{nicht} und die unterseite von ** ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ProcessOP schliesst ** ** SelfConnectedObject raeumlich an und ** ** SelfConnectedObject schliesst ** ** Object 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 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 |
|
(=>
(attribute ?A UrbanArea)
(instance ?A GeographicArea)) |
Mid-level-ontology.kif 26622-26624 |
|
(=>
(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 6302-6312 |
|
(=>
(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 13288-13293 |
|
(=>
(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 26427-26435 |
|
(=>
(instance ?X GuideBook)
(exists (?LOC)
(and
(instance ?LOC GeographicArea)
(refers ?X ?LOC)))) |
Mid-level-ontology.kif 26415-26420 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |