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

Formal Language: 




Sigma KEE - ConstantQuantity
KB Term: 

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 Meters と 5 HourDurations 。 すべての ConstantQuantity の大きさ(MagnitudeFn 参照)は RealNumber です。 ConstantQuantity は、後者の各インスタンスが別の PhysicalQuantity へのマッピングを介して形成されることにおいて、 PhysicalQuantity と区別される。 ConstantQuantity の各インスタンスは %BinaryFunction MeasureFn で表され、NumberUnitOfMeasure を引数として受け取る。 例えば、3 Meters は (MeasureFn 3 Meter) として表される。 lessThanRelationExtendedToQuantity で あり、lessThanRealNumber の上で定義されるため、ConstantQuantity のインスタンスは lessThan 関係を持つ部分的な順序 (TotalOrderingRelation を参照) を形成する。 lessThan の関係は、ConstantQuantity の一部のサブクラスの要素 (長さの数量など) が ConstantQuantity の 他のサブクラスの要素 (質量量など) に匹敵しないため、クラス ConstantQuantity 上の合計順序 (TotalOrderingRelation を参照) ではない。
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.
 RadiationMeasureMeasurement 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).
 waveHeightwaveHeight 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 simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view)


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