SUO‐KIF Spatial Representations (directions, orientation, relations between parts)

SUO-KIF Examples for the Beginner

Introduction to Spatial representations

PositionalAttribute

PositionalAttribute is a good starting point for understanding spatial information

DirectionalAttribute
  North
  South
  ...
SymmetricPositionalAttribute
  Adjacent
  Near
AntiSymmetricPositionalAttribute
  Above
  Below
  Left
  Right
  On
RotationalAttribute
  Clockwise
  CounterClockwise

Spatial Relations

Spatial Relations in SUMO

absoluteHeight
typicalPart
typicallyContainsPart
initialPart
FrontFn
BackFn
part
...

Locations

partlyLocated

partlyLocated
  located
    headquartersOfOrganization
    onboard
    postNeighborhood
  ...

Geometric Figures

GeometricFigure

GeometricFigure
  GeometricPoint
  OneDimensionalFigure
    StraightLine
  TwoDimensionalFigure
    OpenTwoDimensionalFigure
      TwoDimensionalAngle
    ClosedTwoDimensionalFigure
      Polygon
  ThreeDimensionalFigure
    Cone
    Sphere
    HemisphereFigure

General Examples

The arrow goes through his skull

(exists (?MAN ?SKULL ?ARROW)
  (and
    (instance ?MAN Man)
    (instance ?SKULL Skull)
    (instance ?ARROW ArrowProjectile)
    (part ?SKULL ?MAN)
    (penetrates ?ARROW ?SKULL)))

The two roads meet at Albuquerque

(exists (?R1 ?R2 ?C ?J)
  (and
    (instance ?R1 Road)
    (instance ?R2 Road)
    (not (equal ?R1 ?R2)
    (instance ?J TransitwayJunction)
    (connects ?J ?R1 ?R2)
    (instance ?C City)
    (names "Albaquerque" ?C)
    (located ?J ?C)))

See also

• Holes and Other Superficialities - (Casati & Varzi, 1994)
• RCC-5 and RC-8 theroies (Randell, Cui & Cohn, 1992)
• The 'Egg-Yolk' Representation of Regions with Intedeterminite Boundaries (Cohn & Gotts, 1995)