(=>
(altitude ?OBJ1 ?OBJ2 ?HEIGHT)
(exists (?TOP)
(and
(top ?TOP ?OBJ1)
(distance ?TOP ?OBJ2 ?HEIGHT)))) |
Merge.kif 7740-7745 |
|
(=>
(and
(elevation ?OBJECT
(MeasureFn ?NUM ?UNIT))
(instance ?UNIT UnitOfLength)
(instance ?OBJECT LandForm))
(exists (?HIGHPOINT)
(and
(top ?HIGHPOINT ?OBJECT)
(distance ?HIGHPOINT SeaLevel
(MeasureFn ?NUM ?UNIT))))) |
Geography.kif 1922-1930 |
|
(=>
(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 17516-17521 |
|
(=>
(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 1647-1668 |
- 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 ?O LevelShape)
(not
(exists (?P1 ?P2 ?T ?H1 ?H2 ?U)
(and
(top ?T ?O)
(part ?P1 ?T)
(part ?P2 ?T)
(instance ?U UnitOfLength)
(height ?P1
(MeasureFn ?H1 ?U))
(height ?P2
(MeasureFn ?H2 ?U))
(greaterThan ?H1 ?H2))))) |
Mid-level-ontology.kif 2823-2836 |
- Wenn LevelShape ist ein attribut von SelfConnectedObject %n{nicht},
- dann es gibt nicht ** SelfConnectedObject, ** SelfConnectedObject,, , ** SelfConnectedObject,, , RealNumber,, , ** RealNumber, and und UnitOfMeasure um die oberseite von ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ** SelfConnectedObject ist ein teil von ** ** SelfConnectedObject %n{nicht} und ** ** SelfConnectedObject ist ein teil von ** ** SelfConnectedObject %n{nicht} und ** UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
|
(=>
(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 |
|
(=>
(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 ?C Ceiling)
(exists (?R)
(and
(top ?C ?R)
(instance ?R Room)))) |
Mid-level-ontology.kif 15335-15340 |
|
(=>
(instance ?HOLE GolfHole)
(exists (?C)
(and
(shape ?HOLE Cylinder)
(top ?C ?HOLE)
(instance ?C Region)
(shape ?C Circle)
(diameter ?C
(MeasureFn 4.25 Inch))))) |
Sports.kif 964-973 |
|
(=>
(instance ?L Lid)
(exists (?C)
(and
(instance ?C Container)
(part ?L ?C)
(capability Closing instrument ?L)
(capability Opening instrument ?L)
(top ?L ?C)))) |
Mid-level-ontology.kif 4019-4027 |
|
(=>
(instance ?ROOF Roof)
(exists (?BUILDING)
(and
(instance ?BUILDING Building)
(top ?ROOF ?BUILDING)))) |
Mid-level-ontology.kif 15345-15350 |
|
(=>
(instance ?X Courtyard)
(and
(not
(exists (?ROOF)
(and
(instance ?ROOF Roof)
(top ?ROOF ?X))))
(exists (?BLDG)
(and
(instance ?BLDG Building)
(orientation ?X ?BLDG Surrounded))))) |
Mid-level-ontology.kif 26009-26020 |
|
(=>
(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 2826-2851 |
- 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 3031-3058 |
- 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 17571-17577 |
|