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.

Instance-Of: Relation

Arity: 2

Range: Quantity-space

Subrelation-Of: Member

Equivalence Axioms:

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

Other Related Axioms:

(=> (Point-In $X $Y) (Quantity-Space $Y))

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

(=> (= (Distance ?X1 ?X2) ?D)
    (Exists (?Sp)
            (And (Quantity-Space ?Sp)
                 (Point-In ?X1 ?Sp)
                 (Point-In ?X2 ?Sp))))