yu3 liang4 guan1 xi4 (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)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

yu3 liang4 guan1 xi4

Superclass(es)

shi2 ti3

chou1 xiang4 de5

guan1 xi4

yu3 liang4 guan1 xi4

Instance(s)

xiang1 deng3 xiao3 yu1 da4 yu1 xiao3 yu1 huo4 deng3 yu1 da4 yu1 huo4 deng3 yu1 cheng2 fa3 han2 shu4 jia1 fa3 han2 shu4 jian3 fa3 han2 shu4 chu2 fa3 han2 shu4 zhi3 shu4 han2 shu4 zui4 da4 zhi2 han2 shu4 zui4 xiao3 zhi2 han2 shu4 dao3 shu4 han2 shu4 yu2 shu4 han2 shu4 zheng3 shu4 han2 shu4

Coordinate term(s)

er4 yuan2 han2 shu4 er4 yuan2 shu4 ci2 er4 yuan2 guan1 xi4 ge2 wei4 jue2 se4 han2 shu4 yi4 tu2 guan1 xi4 xu4 lie4 shou4 shi4 dao3 xiang4 li4 cheng2 pian1 zhi2 guan1 xi4 shu4 ci2 huo4 ran2 lv4 guan1 xi4 ming4 ti2 tai4 du4 si4 yuan2 han2 shu4 si4 yuan2 shu4 ci2 si4 yuan2 guan1 xi4 wu3 yuan2 shu4 ci2 wu3 yuan2 guan1 xi4 dan1 zhi2 guan1 xi4 kong1 jian1 guan1 xi4 shi2 jian1 guan1 xi4 san1 yuan2 han2 shu4 san1 yuan2 shu4 ci2 san1 yuan2 guan1 xi4 quan2 zhi2 guan1 xi4 yi1 yuan2 han2 shu4 bian4 yi4 yuan2 shu4 guan1 xi4

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

if rel shi4 yu3 liang4 guan1 xi4 de5 shi2 li4 and rel shi4 san1 yuan2 guan1 xi4 de5 shi2 li4 and number1 shi4 shi2 shu4 de5 shi2 li4 and number2 shi4 shi2 shu4 de5 shi2 li4 and rel(number1,number2,value) (bu2) cheng2 li4s,
then for all unit holds: if unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then rel("number1 unit(s)","number2 unit(s)","value unit(s)") (bu2) cheng2 li4s

(=>
      (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 shi4 yu3 liang4 guan1 xi4 de5 shi2 li4 and rel shi4 er4 yuan2 guan1 xi4 de5 shi2 li4 and number1 shi4 shi2 shu4 de5 shi2 li4 and number2 shi4 shi2 shu4 de5 shi2 li4 and rel(number1,number2) (bu2) cheng2 li4s,
then for all unit holds: if unit shi4 liang2 du4 dan1 wei4 de5 shi2 li4, then rel("number1 unit(s)","number2 unit(s)") (bu2) cheng2 li4s

(=>
      (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)))))