(=>
(and
(instance ?REVERSE Reversing)
(patient ?REVERSE ?OBJ)
(holdsDuring
(BeginFn
(WhenFn ?REVERSE))
(and
(top ?TOP ?OBJ)
(bottom ?BOTTOM ?OBJ))))
(holdsDuring
(EndFn
(WhenFn ?REVERSE))
(and
(top ?BOTTOM ?OBJ)
(bottom ?TOP ?OBJ)))) |
Mid-level-ontology.kif 17517-17522 |
|
(=>
(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
|
(=>
(attribute ?X LoftStyle)
(exists (?FLOOR ?LOFT ?CEILING)
(and
(bottom ?FLOOR ?X)
(top ?CEILING ?X)
(instance ?LOFT StationaryArtifact)
(orientation ?LOFT ?FLOOR Above)
(orientation ?LOFT ?CEILING Below)))) |
Hotel.kif 1157-1165 |
|
(=>
(depth ?OBJ1 ?OBJ2 ?DEPTH)
(exists (?BOTTOM)
(and
(bottom ?BOTTOM ?OBJ1)
(distance ?BOTTOM ?OBJ2 ?DEPTH)))) |
Merge.kif 7740-7745 |
|
(=>
(instance ?BOX Box)
(equal
(CardinalityFn
(KappaFn ?SIDE
(or
(top ?SIDE ?BOX)
(bottom ?SIDE ?BOX)
(side ?SIDE ?BOX)))) 6)) |
Mid-level-ontology.kif 4476-4484 |
|
(=>
(instance ?IRON FabricIron)
(exists (?BASE)
(and
(bottom ?BASE ?IRON)
(material Metal ?BASE)
(attribute ?BASE Flat)))) |
Mid-level-ontology.kif 25189-25195 |
|
(=>
(instance ?SS ShoeSole)
(exists (?S)
(and
(instance ?S Shoe)
(bottom ?SS ?S)))) |
Mid-level-ontology.kif 5199-5204 |
|
(=>
(instance ?incline SlopedArea)
(exists (?top ?bottom ?height1 ?height2 ?U)
(and
(top ?top ?incline)
(bottom ?bottom ?incline)
(instance ?U UnitOfLength)
(earthAltitude ?top
(MeasureFn ?height1 ?U))
(earthAltitude ?bottom
(MeasureFn ?height2 ?U))
(greaterThan ?height1 ?height2)))) |
Geography.kif 4107-4118 |
|
(=>
(rainfallIntensity ?AREA ?TIME ?RATE)
(exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(and
(instance ?RAIN Raining)
(eventLocated ?RAIN ?AREA)
(during
(WhenFn ?RAIN) ?TIME)
(instance ?CLTN Collection)
(objectTransferred ?RAIN ?CLTN)
(instance ?R Water)
(member ?R ?CLTN)
(instance ?BUCKET Container)
(bottom ?BOTTOM ?BUCKET)
(attribute ?BOTTOM Flat)
(located ?BUCKET ?AREA)
(holdsDuring
(BeginFn ?TIME)
(attribute ?BUCKET ContainerEmpty))
(holdsDuring
(EndFn ?TIME)
(and
(located ?CLTN ?BUCKET)
(top ?TOP ?CLTN)
(depth ?TOP ?BOTTOM ?RAINFALL)
(equal ?RAINFALL
(MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 2830-2855 |
- Wenn rainfallIntensity GeographicArea, TimeInterval and FunctionQuantity,
- dann es gibt Transfer, Collection,, , Physical,, , SelfConnectedObject,, , entity,, , ** SelfConnectedObject, and und ** TransferFALL um ** Transfer ist ein fall von Raining %n{nicht} und eventLocated ** Transfer and ** GeographicArea und die zeit des Bestehens von ** Transfer geschieht waehrend ** TimeInterval %n{nicht} und ** Collection ist ein fall von Collection %n{nicht} und objectTransferred ** Transfer and ** Collection und ** Physical ist ein fall von Water %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und ** SelfConnectedObject ist ein fall von Container %n{nicht} und die unterseite von ** SelfConnectedObject ist ** ** SelfConnectedObject und Flat ist ein attribut von ** ** SelfConnectedObject %n{nicht} und ** SelfConnectedObject befindet sich an %n{nicht} und ContainerEmpty ist ein attribut von ** SelfConnectedObject %n{nicht} haelt waehrend der anfang von ** TimeInterval %n{nicht} und ** Collection befindet sich an %n{nicht} und die oberseite von ** Collection ist ** entity und depth ** entity, ** ** SelfConnectedObject and ** TransferFALL und ** TransferFALL ist gleich ** TimeInterval und ** FunctionQuantity %n{nicht} haelt waehrend das ende von ** TimeInterval %n{nicht}
|
(=>
(snowfallIntensity ?AREA ?TIME ?RATE)
(exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
(and
(instance ?PROCESS Snowing)
(eventLocated ?PROCESS ?AREA)
(during
(WhenFn ?PROCESS) ?TIME)
(instance ?STUFF Snow)
(objectTransferred ?PROCESS ?STUFF)
(instance ?BOARD BoardOrBlock)
(bottom ?BOTTOM ?BOARD)
(attribute ?BOTTOM Flat)
(located ?BOARD ?AREA)
(holdsDuring
(BeginFn ?TIME)
(not
(exists (?X)
(and
(instance ?X Object)
(located ?X ?BOARD)))))
(holdsDuring
(EndFn ?TIME)
(and
(located ?STUFF ?BOARD)
(top ?TOP ?STUFF)
(depth ?TOP ?BOTTOM ?SNOWFALL)
(equal ?SNOWFALL
(MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 3035-3062 |
- Wenn snowfallIntensity GeographicArea, TimeInterval and FunctionQuantity,
- dann es gibt Transfer, Object,, , SelfConnectedObject,, , entity,, , ** SelfConnectedObject, and und ** entity um ** Transfer ist ein fall von Snowing %n{nicht} und eventLocated ** Transfer and ** GeographicArea und die zeit des Bestehens von ** Transfer geschieht waehrend ** TimeInterval %n{nicht} und ** Object ist ein fall von Snow %n{nicht} und objectTransferred ** Transfer and ** Object und ** SelfConnectedObject ist ein fall von BoardOrBlock %n{nicht} und die unterseite von ** SelfConnectedObject ist ** ** SelfConnectedObject und Flat ist ein attribut von ** ** SelfConnectedObject %n{nicht} und ** SelfConnectedObject befindet sich an %n{nicht} und es gibt nicht ** entity um ** ** entity ist ein fall von Object %n{nicht} und ** ** entity befindet sich an %n{nicht} haelt waehrend der anfang von ** TimeInterval %n{nicht} und ** Object befindet sich an %n{nicht} und die oberseite von ** Object ist ** entity und depth ** entity, ** ** SelfConnectedObject and ** ** entity und ** ** entity ist gleich ** TimeInterval und ** FunctionQuantity %n{nicht} haelt waehrend das ende von ** TimeInterval %n{nicht}
|
(=>
(waterDepth ?AREA ?DEPTH)
(exists (?BOTTOM ?TOP)
(and
(depth ?TOP ?BOTTOM ?DEPTH)
(top ?TOP ?AREA)
(bottom ?BOTTOM ?AREA)))) |
Mid-level-ontology.kif 17572-17578 |
|