Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# 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)))```