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

常量 (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]
實體
is subclass of
  抽象的  
is subclass of
  數量  
is subclass of
  物理量  
is subclass of
  常量  

Subclass(es)

時間單位  長度單位  質量單位  面積單位  體積單位  溫度單位  匯率單位  角度單位  資訊單位 

Coordinate term(s)

函數量  量度單位 

Constrains relations

間隔函數  級數函數  測量函數 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

物理量 完全 分割成 常量,函數量. 
(partition PhysicalQuantity ConstantQuantity FunctionQuantity)
If function 是 一元恆定函數量 的 實例, then function 的 論元 是 常量 的 實例 and function 的 範圍 是 常量 的 實例. 
(=>
      (instance ?FUNCTION UnaryConstantFunctionQuantity)
      (and
            (domain ?FUNCTION 1 ConstantQuantity)
            (range ?FUNCTION ConstantQuantity)))