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

sthira parimaaNa (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)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  parimaaNa  
is subclass of
  bhOtika parimaaNa  
is subclass of
  sthira parimaaNa  

Subclass(es)

samaya maapa  lambaaI maapa  dravyamaana maapa  kshetraphala maapa  ghanaphala maapa  taapa maapa  mudraa maapa  koNa maapa  sUchnaa maapa 

Coordinate term(s)

prakaarya parimaaNa  maapaka ikaaI 

Constrains relations

interval fn  magnitude fn  measure fn 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

bhOtika parimaaNa is exhaustively partitioned into sthira parimaaNa,prakaarya parimaaNa. 
(partition PhysicalQuantity ConstantQuantity FunctionQuantity)
Agar function is an instance of ekaadhaarita sthira prakaarya parimaaNa, to the number argument of function is an instance of sthira parimaaNa aur range of function is an instance of sthira parimaaNa. 
(=>
      (instance ?FUNCTION UnaryConstantFunctionQuantity)
      (and
            (domain ?FUNCTION 1 ConstantQuantity)
            (range ?FUNCTION ConstantQuantity)))