Simple Browser
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Sigma KEE - UnixEpoch
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
UnixEpoch
The Unix epoch or point of reference is 00:00:00 UTC, January 1, 1970.
Relationships
Instances
抽象的な
物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。
一定量
ConstantQuantity
は、定数値を有する
PhysicalQuantity
である。例えば、3
Meter
s と 5
HourDuration
s 。 すべての
ConstantQuantity
の大きさ(
MagnitudeFn
参照)は
RealNumber
です。
ConstantQuantity
は、後者の各インスタンスが別の
PhysicalQuantity
へのマッピングを介して形成されることにおいて、
PhysicalQuantity
と区別される。
ConstantQuantity
の各インスタンスは %BinaryFunction
MeasureFn
で表され、
Number
と
UnitOfMeasure
を引数として受け取る。 例えば、3
Meter
s は (
MeasureFn
3
Meter
) として表される。
lessThan
は
Relation
ExtendedToQuantity で あり、
lessThan
は
RealNumber
の上で定義されるため、
ConstantQuantity
のインスタンスは
lessThan
関係を持つ部分的な順序 (
TotalOrderingRelation
を参照) を形成する。
lessThan
の関係は、
ConstantQuantity
の一部のサブクラスの要素 (長さの数量など) が
ConstantQuantity
の 他のサブクラスの要素 (質量量など) に匹敵しないため、クラス
ConstantQuantity
上の合計順序 (
TotalOrderingRelation
を参照) ではない。
エンティティー
個々の普遍集合。 これがオントロジーのノードのルートで ある。
Epoch
An instant in time that is arbitrarily selected as a point of reference.
物理量
PhysicalQuantity
は、「地球の直径」 (一定の長さ)や、「荷を積んだ変形可能なソリッドの応力」(3つの空間座標の関数であるストレスの尺度) の ように、モデル化された世界の定量化可能な側面の尺度である。 すべての
PhysicalQuantity
は
ConstantQuantity
または
FunctionQuantity
のいずれかです。
ConstantQuantity
のインスタン スは UOM に依存し、それに対し、
FunctionQuantity
のインスタンスは、
ConstantQuantity
のイン スタンスを
ConstantQuantity
の他のインスタンスにマップする
Function
s である。(例:
TimeDependentQuantity
は
FunctionQuantity
Q である)。
PhysicalQuantity
の名前と定義は 物理学から借りているが、
PhysicalQuantity
は材料である必要はない。 長さ、時間、速度などの寸法の ほかに、通貨などの非物理的な寸法も可能である。 それに応じて、金額は、
PhysicalQuantity
のインス タンスになる。
PhysicalQuantity
は、前者が寸法測定に関連付けられているという事実によって純粋 な
Number
と区別される。
量
何かの数や量の任意の仕様。 それに応じて、 二つの
Quantity
のサブクラスがある:
Number
(数)と
PhysicalQuantity
(量)。
時間測定
ユニバーサル タイムライン (
TimePosition
のイン スタンス) に沿った一時的な期間のクラス (
TimeDuration
のインスタンス) と
TimePoint
と
TimeInterval
。
時点
ユニバーサルタイムライン上の拡張のないポイント。
Process
が発生する
TimePoint
は、さまざまな精度と近似で知ることができるが、概念的には
TimePoint
はポイントに似ており、インターバルのようなものではない。 つまり、
TimePoint
がどれ くらい長く続くかについて話すのは意味がない。
時間位置
NegativeInfinity
から
PositiveInfinity
までのユニバーサルタイムラインに沿った
TimePoint
または
TimeInterval
。
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