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 - RwandaFranc
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
RwandaFranc
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
を参照) ではない。
エンティティー
個々の普遍集合。 これがオントロジーのノードのルートで ある。
NonCompositeUnitOfMeasure
この
Class
のインスタンスは、 1次元に適用される UnitsOfMeasure であり、他のユニットの機能構成によって本質的に定義されるわけで はない。
物理量
PhysicalQuantity
は、「地球の直径」 (一定の長さ)や、「荷を積んだ変形可能なソリッドの応力」(3つの空間座標の関数であるストレスの尺度) の ように、モデル化された世界の定量化可能な側面の尺度である。 すべての
PhysicalQuantity
は
ConstantQuantity
または
FunctionQuantity
のいずれかです。
ConstantQuantity
のインスタン スは UOM に依存し、それに対し、
FunctionQuantity
のインスタンスは、
ConstantQuantity
のイン スタンスを
ConstantQuantity
の他のインスタンスにマップする
Function
s である。(例:
TimeDependentQuantity
は
FunctionQuantity
Q である)。
PhysicalQuantity
の名前と定義は 物理学から借りているが、
PhysicalQuantity
は材料である必要はない。 長さ、時間、速度などの寸法の ほかに、通貨などの非物理的な寸法も可能である。 それに応じて、金額は、
PhysicalQuantity
のインス タンスになる。
PhysicalQuantity
は、前者が寸法測定に関連付けられているという事実によって純粋 な
Number
と区別される。
量
何かの数や量の任意の仕様。 それに応じて、 二つの
Quantity
のサブクラスがある:
Number
(数)と
PhysicalQuantity
(量)。
UnitOfCurrency
この Clas のすべてのインスタンスは
UnitOfMeasure
で、%MeasureFn と共に
CurrencyMeasure
のインスタンスを形成するのに使用でき る。
測定単位
ある寸法の測定基準。 例えば、
Meter
は
Inch
と同様に、長さの次元の
UnitOfMeasure
である。
UnitOfMeasure
の本質的な性質は存在せず、むしろ 単位のシステム(例:
SystemeInternationalUnit
)は、直交寸法のセットを定義し、それぞれに単位を割り 当てる。
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