directional.pl -- Predicates for spatial reasoning

author

- Daniel Beßler

license

- BSD

 is_ontop_of(?Top, ?Bottom) is nondet

Check if Top is in the area of and above Bottom.

Implemented as a wrapper predicate around holds(...) that computes the relation for the current point in time

Arguments:

Top	- Identifier of the upper Object
Bottom	- Identifier of the lower Object

 is_above_of(?Top, ?Bottom) is nondet

Check if Top is in the area of and above Bottom.

Implemented as a wrapper predicate around holds(...) that computes the relation for the current point in time

Arguments:

Top	- Identifier of the upper Object
Bottom	- Identifier of the lower Object

 is_below_of(?Bottom, ?Top) is nondet

Check if Top is in the area of and above Bottom.

Implemented as a wrapper predicate around holds(...) that computes the relation for the current point in time

Arguments:

Bottom	- Identifier of the lower Object
Top	- Identifier of the upper Object

 is_centered_at(?Inner, ?Outer) is nondet

Check if Inner is in the center of OuterObj. Currently does not take the orientation into account, only the position and dimension.

Implemented as a wrapper predicate around holds(...) that computes the relation for the current point in time

Arguments:

Inner	- Identifier of the inner Object
Outer	- Identifier of the outer Object