Relation UNDER

Arity: 2

Domain: Localized-entity

Range: Localized-entity

Axioms:

(= (Inverse On) Under)

(<=> (Under ?A ?B) (And (Localized-Entity ?A) (Localized-Entity ?B)))

• Defined in theory: Positions
• Source code: Positions.lisp