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

Formal Language: 




Sigma KEE - KelvinDegree
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
KelvinDegree
SI UnitOfMeasureTemperatureMeasure の インスタンスを示す用語を生成するために MeasureFn と共に使用される。シンボル: K。これは SI の基 本単位の1つである (ITS システムの単位でもある)。ケルビンは摂氏の尺度とは異なり、水のトリプルポイ ントは6273.16 KelvinDegree で、CelsiusDegrees は 0 CelsiusDegree と定義されてい る。2つの縮尺の間隔の大きさは同じである。定義上、変換定数は 273.15である。
Relationships      
Instances抽象的な物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。
 一定量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 を参照) ではない。
 エンティティー個々の普遍集合。 これがオントロジーのノードのルートで ある。
 NonCompositeUnitOfMeasureこの Class のインスタンスは、 1次元に適用される UnitsOfMeasure であり、他のユニットの機能構成によって本質的に定義されるわけで はない。
 物理量PhysicalQuantity は、「地球の直径」 (一定の長さ)や、「荷を積んだ変形可能なソリッドの応力」(3つの空間座標の関数であるストレスの尺度) の ように、モデル化された世界の定量化可能な側面の尺度である。 すべての PhysicalQuantityConstantQuantity または FunctionQuantity のいずれかです。 ConstantQuantity のインスタン スは UOM に依存し、それに対し、FunctionQuantity のインスタンスは、ConstantQuantity のイン スタンスを ConstantQuantity の他のインスタンスにマップする Functions である。(例: TimeDependentQuantityFunctionQuantityQ である)。 PhysicalQuantity の名前と定義は 物理学から借りているが、PhysicalQuantity は材料である必要はない。 長さ、時間、速度などの寸法の ほかに、通貨などの非物理的な寸法も可能である。 それに応じて、金額は、PhysicalQuantity のインス タンスになる。 PhysicalQuantity は、前者が寸法測定に関連付けられているという事実によって純粋 な Number と区別される。
 何かの数や量の任意の仕様。 それに応じて、 二つの Quantity のサブクラスがある:Number (数)と PhysicalQuantity (量)。
 システム国際ユニットシステム・インターナショナル (SI) ユニットの Class
 測定単位ある寸法の測定基準。 例えば、MeterInch と同様に、長さの次元の UnitOfMeasure である。UnitOfMeasure の本質的な性質は存在せず、むしろ 単位のシステム(例:SystemeInternationalUnit)は、直交寸法のセットを定義し、それぞれに単位を割り 当てる。
 UnitOfTemperatureこの Class のすべてのインスタンスは、 UnitOfMeasureで、MeasureFn と共に TemperatureMeasure のインスタンスを形成するのに使用で きる。
Belongs to Class エンティティー


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