Function DISTANCE

Arity: 3

Subrelation-Of: Structuring-ternary

Axioms:

(Nth-Domain Distance 3 Number)

(Nth-Domain Distance 2 Entity)

(Nth-Domain Distance 1 Entity)

(=> (Distance ?A ?B ?C)
    (Exists (?K ?W)
            (And (String ?K)
                 (Distance-Measure ?W)
                 (Dimensioned-Number ?C ?K ?W))))

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