The term 'scalar' is often equated with the field of real numbers. In this theory we extend that notion to quantities in general, which are associated with dimensions and units. Scalar quantities are quantities whose magnitude is a real number, such as 'the length of rod a'. The normal operators for real arithmetic such as + and *, and the relation<, are extended to the case of scalar quantities (i.e., to consider dimensions and units). Scalar-Quantities are disjoint from vectors quantities, and scalar functions.

**Source code: scalar-quantities.lisp****List of other known theories**

Physical-QuantitiesFrame-OntologyKif-RelationsKif-SetsKif-ListsKif-NumbersAbstract-AlgebraFrame-Ontology...

Vt-DesignSimple-BikesVt-DomainVt-ExampleVector-Quantities

Scalar-Quantity

**The following constants were used from included theories:**

**<***defined as a***relation***in theory***Kif-Numbers****<***defined as a***relation***in theory***Physical-Quantities****Arity***defined as a***function***in theory***Frame-Ontology****Class***defined as a***class***in theory***Frame-Ontology****Compatible-Quantities***defined as a***relation***in theory***Physical-Quantities****Constant-Quantity***defined as a***class***in theory***Physical-Quantities****Documentation***defined as a***relation***in theory***Frame-Ontology****Domain***defined as a***relation***in theory***Frame-Ontology****Function***defined as a***class***in theory***Kif-Relations****Function***defined as a***class***in theory***Frame-Ontology****Identity-Dimension***defined as a***object***in theory***Physical-Quantities****Identity-Element-For***defined as a***relation***in theory***Abstract-Algebra****Linear-Order***defined as a***relation***in theory***Abstract-Algebra****Magnitude***defined as a***function***in theory***Physical-Quantities****Partial-Order***defined as a***relation***in theory***Abstract-Algebra****Physical-Dimension***defined as a***class***in theory***Physical-Quantities****Quantity.Dimension***defined as a***function***in theory***Physical-Quantities****Range***defined as a***relation***in theory***Frame-Ontology****Real-Number***defined as a***class***in theory***Kif-Numbers****Subclass-Of***defined as a***relation***in theory***Frame-Ontology****Superclass-Of***defined as a***relation***in theory***Frame-Ontology****Unit-Of-Measure***defined as a***class***in theory***Physical-Quantities****Zero-Quantity***defined as a***class***in theory***Physical-Quantities**

**All constants that were mentioned were defined.**

A scalar-quantity is a constant quantity whose magnitude is a real number. An important property of scalar-quantities is that they form a field with respect to the addition and multiplication (with proper subclass restrictions). The class of scalar-quantities forms a partial order with the less-than relation<, since<is a relation-extended-to-quantities and<is defined over the reals. The<relation is not a total order over the class of scalar-quantity

since elements from some subclasses such as length quantities are incomparable to elements from other subclasses such as mass quantities.

**Subclass-Of:**Constant-quantity**Partial-Order:**<**Superclass-Of:**Real-number

**Axioms:**

(<=> (Scalar-Quantity ?Q) (And (Constant-Quantity ?Q) (Forall (?U) (=> (And (Unit-Of-Measure ?U) (Compatible-Quantities ?U ?Q) ) (Real-Number (Magnitude ?Q ?U)) ))))

**Defined in theory: Scalar-quantities****Source code: scalar-quantities.lisp**

The 'one' element for scalar-quantites or the identity element with respect to multiplication. This element is unique and common to all scalar-quantities regardless of associated physical dimension. Therefore this element is equal to the number 1. The axioms tell us that the product of any scalar-quantity x and the identity-scalar is x.

**Axioms:**

(= Identity-Scalar 1)

**Defined in theory: Scalar-quantities****Source code: scalar-quantities.lisp**

Scalar-Quantities are partitioned into classes of uniform dimension. All instances of one of these classes have the same physical dimension. Each of these classes form a linear order with respect to the<relation. Length scalars, time scalars, and mass scalars are examples of scalar subclasses.

**Arity:**2**Domain:**Physical-dimension**Range:**Class

**Axioms:**

(=> (Scalar-Quantities-Of-Dimension ?Dimension ?Class) (Linear-Order ?Class <) ) (= (Scalar-Quantities-Of-Dimension ?Dimension) (If (Physical-Dimension ?Dimension) (Kappa (?Q) (And (Scalar-Quantity ?Q) (= (Quantity.Dimension ?Q) ?Dimension) ))))

**Defined in theory: Scalar-quantities****Source code: scalar-quantities.lisp**

The zero element for scalars of physical-dimension ?dimension. The real number 0 is the zero scalar-quantity for quantities of identity-dimension (i.e., non-dimensional scalars). We make the distinction between 0 meters and 0 seconds, for instance, to maintain our compatibility requirements for operators such as addition (i.e. a length quantity + a length quantity always equals another length quantity). In practice, the distinction between zero quantities may not be important to any models, but there inclusion frees us from special cases for composition of quantities of different dimensions.

**Arity:**2**Domain:**Physical-dimension**Range:**Scalar-quantity, Zero-quantity

**Axioms:**

(= 0 (The-Zero-Scalar-For-Dimension Identity-Dimension)) (<=> (The-Zero-Scalar-For-Dimension ?Dimension ?Zero-Scalar) (And (Physical-Dimension ?Dimension) (Scalar-Quantity ?Zero-Scalar) (Zero-Quantity ?Zero-Scalar) (Identity-Element-For ?Zero-Scalar + (Scalar-Quantities-Of-Dimension ?Dimension) )))

**Defined in theory: Scalar-quantities****Source code: scalar-quantities.lisp**

Formatting and translation code was written by