與量關係 (RelationExtendedToQuantities)

A RelationExtendedToQuantities is a Relation that, when it is true on a sequence of arguments that are RealNumbers, it is also true on a sequence of ConstantQuantites with those magnitudes in some unit of measure. For example, the lessThan relation is extended to quantities. This means that for all pairs of quantities quantity1 and quantity2, (lessThan quantity1 quantity2) if and only if, for some number1, number2, and unit, quantity1 = (MeasureFn number1 unit), quantity2 = (MeasureFn number2 unit), and (lessThan number1 number2), for all units unit on which quantity1 and quantity2 can be measured. Note that, when a RelationExtendedToQuantities is extended from RealNumbers to ConstantQuantities, the ConstantQuantities must be measured along the same physical dimension.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類

可繼承關係

與量關係

Superclass(es)

實體

抽象的

關係

與量關係

Instance(s)

相等小於大於小於或等於大於或等於乘法函數加法函數減法函數除法函數指數函數最大值函數最小值函數倒數函數餘數函數整數函數

Coordinate term(s)

二元函數二元述詞二元關係格位角色函數意圖關係序列受事導向（歷程）偏值關係述詞或然率關係命題態度四元函數四元述詞四元關係五元述詞五元關係單值關係空間關係時間關係三元函數三元述詞三元關係全值關係一元函數變異元數關係

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

if rel 是與量關係的實例 and rel 是三元關係的實例 and number1 是實數的實例 and number2 是實數的實例 and rel(number1,number2,value) (不) 成立s,
then for all unit holds: if unit 是量度單位的實例, then rel("number1 unit(s)","number2 unit(s)","value unit(s)") (不) 成立s

(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL TernaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2 ?VALUE))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)
                        (MeasureFn ?VALUE ?UNIT)))))

if rel 是與量關係的實例 and rel 是二元關係的實例 and number1 是實數的實例 and number2 是實數的實例 and rel(number1,number2) (不) 成立s,
then for all unit holds: if unit 是量度單位的實例, then rel("number1 unit(s)","number2 unit(s)") (不) 成立s

(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL BinaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)))))