(<=>
(orientation ?OBJ1 ?OBJ2 Horizontal)
(orientation ?OBJ2 ?OBJ1 Horizontal)) |
Merge.kif 17116-17118 |
Object ist Horizontal hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist Horizontal hinsichlich ** Object %n{nicht} |
(=>
(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 1634-1655 |
- 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
(visibilityInMeteorology ?Area ?Time
(MeasureFn ?Distance ?U))
(instance ?U UnitOfMeasure)
(instance ?Time DayTime)
(instance ?Observe Looking)
(instance ?B Object)
(color ?B Black)
(agent ?Observe ?A)
(patient ?Observe ?B)
(orientation ?A ?B Horizontal)
(eventLocated ?Observe ?Area)
(during
(WhenFn ?Observe) ?Time)
(instance ?B Object))
(exists (?D2)
(and
(distance ?A ?B
(MeasureFn ?D2 ?U))
(greaterThan ?Distance ?D2)))) |
Weather.kif 2711-2731 |
|
(=>
(and
(visibilityInMeteorology ?Area ?Time
(MeasureFn ?Distance ?U))
(instance ?U UnitOfMeasure)
(instance ?Time NightTime)
(instance ?Observe Looking)
(instance ?B Region)
(attribute ?B Illuminated)
(measure ?B
(MeasureFn 1000.0 Candela))
(agent ?Observe ?A)
(patient ?Observe ?B)
(orientation ?A ?B Horizontal)
(eventLocated ?Observe ?Area)
(during
(WhenFn ?Observe) ?Time)
(instance ?B Object))
(exists (?D2)
(and
(distance ?A ?B
(MeasureFn ?D2 ?U))
(greaterThan ?Distance ?D2)))) |
Weather.kif 2733-2754 |
|