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

Formal Language: 




Sigma KEE - PhysicalQuantity
KB Term: 
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
物理量
PhysicalQuantity は、「地球の直径」 (一定の長さ)や、「荷を積んだ変形可能なソリッドの応力」(3つの空間座標の関数であるストレスの尺度) の ように、モデル化された世界の定量化可能な側面の尺度である。 すべての PhysicalQuantityConstantQuantity または FunctionQuantity のいずれかです。 ConstantQuantity のインスタン スは UOM に依存し、それに対し、FunctionQuantity のインスタンスは、ConstantQuantity のイン スタンスを ConstantQuantity の他のインスタンスにマップする Functions である。(例: TimeDependentQuantityFunctionQuantityQ である)。 PhysicalQuantity の名前と定義は 物理学から借りているが、PhysicalQuantity は材料である必要はない。 長さ、時間、速度などの寸法の ほかに、通貨などの非物理的な寸法も可能である。 それに応じて、金額は、PhysicalQuantity のインス タンスになる。 PhysicalQuantity は、前者が寸法測定に関連付けられているという事実によって純粋 な Number と区別される。
Relationships      
Parents Any specification of how many or how much of something there is. Accordingly, there are two subclasses of Quantity: Number (how many) and PhysicalQuantity (how much).
Children 一定量A ConstantQuantity is a PhysicalQuantity that has a constant value, e.g. 3 Meters and 5 HourDurations. The magnitude (see MagnitudeFn) of every ConstantQuantity is a RealNumber. ConstantQuantity is distinguished from FunctionQuantity, in that each instance of the latter is formed through the mapping of one PhysicalQuantity to another PhysicalQuantity. Each instance of ConstantQuantity is expressed with the BinaryFunction MeasureFn, which takes a Number and a UnitOfMeasure as arguments. For example, 3 Meters is expressed as (MeasureFn 3 Meter). Instances of ConstantQuantity 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).
 関数量A FunctionQuantity is a PhysicalQuantity that is returned by a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity relating values of time (which are instances of ConstantQuantity) to values of distance (also instances of ConstantQuantity). Note that all elements of the range of the Function corresponding to a FunctionQuantity have the same physical dimension as the FunctionQuantity itself.
 PerformanceMeasure
 測定単位A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrinsic property of a UnitOfMeasure that makes it primitive or fundamental, rather, a system of units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each.


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