# Function MAGNITUDE

## Slots on this function:

Documentation:
The magnitude of a constant-quantity is a numeric value for the quantity given in terms of some unit-of-measure. For example, the magnitude of the quantity 2 kilometers in the unit-of-measure meter is the real number 2000. The unit-of-measure and quantity must be of the same physical-dimension, and the resulting value is a dimensionless-quantity. The type of the resulting quantity is dependent on the type of the original quantity. The magnitude of a scalar-quantity is a real-number, and the magnitude of a vector-quantity is a numeric-vector. In general, then, the magnitude function converts a quantity with dimension into a normal mathematical object.

Units of measure are scalar quantities, and magnitude is defined in terms of scalar multiplication. The magnitude of a quantity in a given unit times that unit is equal to the original quantity. This holds for all kinds of tensors, including real-numbers and vectors. For scalar quantities, one can think of the magnitude as the ratio of a quantity to the unit quantity. See the definition of the multiplication operator * for the various sorts of quantities. The properties of * that hold for all physical-quantities are defined in this theory.

There is no magnitude for a function-quantity. Instead, the value of a function-quantity on some input is a quantity which may in turn be a constant-quantity for which the magnitude function is defined. See the definition of value-at.

Arity: 3

## Axioms:

```(Nth-Domain Magnitude 3 Dimensionless-Quantity)

(Nth-Domain Magnitude 2 Unit-Of-Measure)

(Nth-Domain Magnitude 1 Constant-Quantity)

(Forall (?Q ?Unit ?Mag)
(=> (And (Constant-Quantity ?Q)
(Unit-Of-Measure ?Unit)
(Dimensionless-Quantity ?Mag)
(Defined (* ?Mag ?Q)))
(= (Magnitude (* ?Mag ?Q) ?Unit)
(* ?Mag (Magnitude ?Q ?Unit)))))

(<=> (Magnitude ?Q ?Unit ?Mag)
(And (Constant-Quantity ?Q)
(Unit-Of-Measure ?Unit)
(Dimensionless-Quantity ?Mag)
(Compatible-Quantities ?Q ?Unit)
(Defined (* ?Mag ?Unit))
(= (* ?Mag ?Unit) ?Q)))

```

## Notes:

• Example: (=> (= (height fred) (* 2 yards)) (= (magnitude (height fred) feet) 6))
{"ft_lang_label":"__label__en","ft_lang_prob":0.763799,"math_prob":0.9904489,"size":1964,"snap":"2021-43-2021-49","text_gpt3_token_len":469,"char_repetition_ratio":0.19540817,"word_repetition_ratio":0.020833334,"special_character_ratio":0.23167007,"punctuation_ratio":0.13858695,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9984389,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-10-28T15:00:30Z\",\"WARC-Record-ID\":\"<urn:uuid:5ef5ca1e-0f8f-496e-9ca4-0afabe7695e5>\",\"Content-Length\":\"4550\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:d81e6e2f-d0cd-4b44-af08-82825b070eb3>\",\"WARC-Concurrent-To\":\"<urn:uuid:55e1a770-c181-406e-b39e-ad4ba44a028a>\",\"WARC-IP-Address\":\"171.64.71.15\",\"WARC-Target-URI\":\"http://ksl-web.stanford.edu/knowledge-sharing/ontologies/html/physical-quantities/MAGNITUDE.html\",\"WARC-Payload-Digest\":\"sha1:3HCF3CW3NIE72ARI4EOXDW72JHAD3MZA\",\"WARC-Block-Digest\":\"sha1:QHQ56HO4GKCSM6ID2P4WJZYFX6QORKTB\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-43/CC-MAIN-2021-43_segments_1634323588341.58_warc_CC-MAIN-20211028131628-20211028161628-00695.warc.gz\"}"}