chang2 liang4 (ConstantQuantity)

A ConstantQuantity is a PhysicalQuantity which has a constant value, e.g. 3 meters and 5 hours. The magnitude (see MagnitudeFn) of every ConstantQuantity is a RealNumber. ConstantQuantities are distinguished from FunctionQuantities, which map ConstantQuantities to other ConstantQuantities. All ConstantQuantites are expressed with the BinaryFunction MeasureFn, which takes a Number and a UnitOfMeasure as arguments. For example, 3 Meters can be expressed as (MeasureFn 3 Meter). ConstantQuantities form a partial order (see PartialOrderingRelation) with the lessThan relation, since lessThan is a RelationExtendedToQuantities and lessThan is defined over the RealNumbers. The lessThan relation is not a total order (see TotalOrderingRelation) over the class ConstantQuantity since elements of some subclasses of ConstantQuantity (such as length quantities) are incomparable to elements of other subclasses of ConstantQuantity (such as mass quantities).

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

shi2 ti3

chou1 xiang4 de5

shu4 liang4

wu4 li3 liang4

chang2 liang4

Subclass(es)

shi2 jian1 dan1 wei4 chang2 du4 dan1 wei4 zhi4 liang4 dan1 wei4 mian4 ji1 dan1 wei4 ti3 ji1 dan1 wei4 wen1 du4 dan1 wei4 hui4 lv4 dan1 wei4 jiao3 du4 dan1 wei4 zi1 xun4 dan1 wei4

Coordinate term(s)

han2 shu4 liang4 liang2 du4 dan1 wei4

Constrains relations

jian1 ge2 han2 shu4 ji2 shu4 han2 shu4 ce4 liang4 han2 shu4

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

wu4 li3 liang4 wan2 quan2 fen1 ge1 cheng2 chang2 liang4,han2 shu4 liang4.

(partition PhysicalQuantity ConstantQuantity FunctionQuantity)

If function shi4 yi1 yuan2 heng2 ding4 han2 shu4 liang4 de5 shi2 li4, then function de5 lun4 yuan2 shi4 chang2 liang4 de5 shi2 li4 and function de5 fan4 wei2 shi4 chang2 liang4 de5 shi2 li4.

(=>
      (instance ?FUNCTION UnaryConstantFunctionQuantity)
      (and
            (domain ?FUNCTION 1 ConstantQuantity)
            (range ?FUNCTION ConstantQuantity)))