Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  ConstantQuantity

Sigma KEE - ConstantQuantity

more pictures...
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
恒量
ConstantQuantity 是含不变值的 PhysicalQuantity,如 3 Meter 和 5 HourDuration。所有 ConstantQuantity 的幅度 (见 MagnitudeFn)都是 RealNumberConstantQuantity 有别于 FunctionQuantity, 后者的每一个实例是通过把一个 PhysicalQuantity 连接到另一个 PhysicalQuantity 而成。 每个 ConstantQuantity 的实例使用 BinaryFunction MeasureFn 来表示, 它需要两个参数:一个 Number 和一个 UnitOfMeasure。例如:3 Meter 以 (MeasureFn 3 Meter) 表示。 ConstantQuantity 的实例与 lessThan 关系组成一个部分顺序 (见 PartialOrderingRelation), 因为 lessThan 是一个 RelationExtendedToQuantities,而 lessThanRealNumber 来定义的。 lessThan 关系不是一个以 ConstantQuantity 类别的 全部顺序 (见 TotalOrderingRelation)因为 ConstantQuantity 一些子类别的元素 (如长度值)和 ConstantQuantity 其他子类别的元素 (如质量) 属完全不同。
Relationships      
Parents 物理量 A PhysicalQuantity is a measure of some quantifiable aspect of the modeled world, such as 'the earth's diameter' (a constant length) and 'the stress in a loaded deformable solid' (a measure of stress, which is a function of three spatial coordinates). Every PhysicalQuantity is either a ConstantQuantity or FunctionQuantity. Instances of ConstantQuantity are dependent on a UnitOfMeasure, while instances of FunctionQuantity are Functions that map instances of ConstantQuantity to other instances of ConstantQuantity (e.g., a TimeDependentQuantity is a FunctionQuantity). Although the name and definition of PhysicalQuantity is borrowed from physics, a PhysicalQuantity need not be material. Aside from the dimensions of length, time, velocity, etc., nonphysical dimensions such as currency are also possible. Accordingly, amounts of money would be instances of PhysicalQuantity. A PhysicalQuantity is distinguished from a pure Number by the fact that the former is associated with a dimension of measurement.
Children 角度测量The value of an angle in a plane or in a solid.
 货币测量Instances of this subclass of ConstantQuantity are measures of monetaryValue stated in terms of some UnitOfCurrency such as UnitedStatesDollar, UnitedStatesCent, RMB, Lira, Yen, etc.
 资讯测量Measures of the amount of information. Includes Bit, Byte, and multiples of these, e.g. KiloByte and MegaByte.
 长度测量A subclass of ConstantQuantity, instances of which are measures of length.
 质量测量A subclass of ConstantQuantity, instances of which are measures of the amount of matter in an Object.
 NonCompositeUnitOfMeasureInstances of this Class are UnitsOfMeasure that are applied to a single dimension, and so are not intrinsically defined by the functional composition of other units.
 辐射测量Measurement of the radiation of some object
 温度测量Measures of temperature. In scientific circles, the temperature of something is understood as the average velocity of the atoms or molecules that make up the thing.
 时间单位The class of temporal durations (instances of TimeDuration) and positions of TimePoints and TimeIntervals along the universal timeline (instances of TimePosition).
 波高waveHeight is a BinaryPredicate. (waveHeight ?WW ?X) means that ?X is the LengthMeasure of the difference between the altitude of the crest and its leading trough of the BodyOfWater of where a ?WW (WaterWave) takes place.


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners