Relation MEASUREMENT

Arity: 2

Domain: Entity

Range: Entity

Subrelation-Of: Inverse-of-quantitative-relation

Axioms:

(<=> (Measurement ?A ?B)
     (And (Exists (?C)
                  (And (Measure-Value ?A ?C)
                       (Extrinsically-Represents ?C ?B)))
          (Inverse-Of-Quantitative-Relation ?A ?B)
          (Entity ?A)
          (Entity ?B)))

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