Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Koncept: Anglické slovo: Hlavní stránka

# konstantní veličina (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).

## Ontologie

SUMO / BASE-ONTOLOGY

 entita

abstraktum

veličina

fyzikální veličina

konstantní veličina

## Podtřída(y)

časová míra  délková jednotka  jednotka hmotnosti  jednotka plochy  jednotka objemu  jednotka teploty  jednotka měny  jednotka úhlu  jednotka informace

## Související termín(y)

proměnná veličina  měrná jednotka

## Constrains relations

interval fn  magnitude fn  measure fn

## Related WordNet synsets

See more related synsets on a separate page.

## Axiomy (2)

fyzikální veličina je exhaustively partitioned into konstantní veličina,proměnná veličina.
`(partition PhysicalQuantity ConstantQuantity FunctionQuantity)`

Jestliže function je instancí třídy unary constant functionquantity, potom th argument of function je an instance of konstantní veličina a range of function je an instance of konstantní veličina.
```(=>
(instance ?FUNCTION UnaryConstantFunctionQuantity)
(and
(domain ?FUNCTION 1 ConstantQuantity)
(range ?FUNCTION ConstantQuantity)))```