Relation POINT-IN

• Defined in theory: Quantity-spaces
• Source code: quantity-spaces.lisp

Slots on this relation:

Documentation:

A point in a quantity-space is simply an element in the set that is the quantity-space.

Arity: 2

Range: Quantity-space

Subrelation-Of: Member

Axioms:

(<=> (Point-In ?Pt ?Sp) (And (Quantity-Space ?Sp) (Member ?Pt ?Sp)))