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:
RussianRuble
Sigma KEE - RussianRuble
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
俄罗斯卢布
Relationships
Instances
抽象体
这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。
恒量
ConstantQuantity
是含不变值的
PhysicalQuantity
,如 3
Meter
和 5
HourDuration
。所有
ConstantQuantity
的幅度 (见
MagnitudeFn
)都是
RealNumber
。
ConstantQuantity
有别于
FunctionQuantity
, 后者的每一个实例是通过把一个
PhysicalQuantity
连接到另一个
PhysicalQuantity
而成。 每个
ConstantQuantity
的实例使用
BinaryFunction
MeasureFn
来表示, 它需要两个参数:一个
Number
和一个
UnitOfMeasure
。例如:3
Meter
以 (
MeasureFn
3
Meter
) 表示。
ConstantQuantity
的实例与
lessThan
关系组成一个部分顺序 (见
PartialOrderingRelation
), 因为
lessThan
是一个
RelationExtendedToQuantities
,而
lessThan
以
RealNumber
来定义的。
lessThan
关系不是一个以
ConstantQuantity
类别的 全部顺序 (见
TotalOrderingRelation
)因为
ConstantQuantity
一些子类别的元素 (如长度值)和
ConstantQuantity
其他子类别的元素 (如质量) 属完全不同。
实体
The universal class of individuals. This is the root node of the ontology.
NonCompositeUnitOfMeasure
这是应用单一维度的 UnitsOfMeasure
Class
的实例,因此它不是由其他单位的复合函数在本质上决定的。
物理量
PhysicalQuantity
是一种用来衡量建模世界上的 一些可以量度的部分,例如:「地球的直径」(长度固定)和「装满了可变形的固体的应力」(应力的衡量,它是一个有 三个空间坐标的函数)。
PhysicalQuantity
要不是
ConstantQuantity
,就是
FunctionQuantity
。
ConstantQuantity
的实例需要有一个
UnitOfMeasure
,而
FunctionQuantity
的实例是要靠一个
Function
, 它把
ConstantQuantity
的实例和其它
ConstantQuantity
的实例联系在一起(举例说,
TimeDependentQuantity
属于
FunctionQuantity
)。
PhysicalQuantity
这个名字和定义是借用物 理理论,但是
PhysicalQuantity
不一定是指物质上的。 除了长度、时间和速度等这些尺度以外,非物理尺寸如 货币也是可行的。因此,金钱会是
PhysicalQuantity
的实例。
PhysicalQuantity
和纯
Number
的区别在于前者附有一个衡量的尺度。
数量
这是任何表示东西数量或多少的规格。故此
Quantity
共有两个 子类别:
Number
(数量)和
PhysicalQuantity
(多少)。
UnitOfCurrency
这个
Class
所有的实例都是可以用
MeasureFn
来组成
CurrencyMeasure
实例的
UnitOfMeasure
。
测量单位
这是某些量䋞的量度标准。例如:
Meter
和
Inch
是长度的
UnitOfMeasure
。
UnitOfMeasure
没有令它原始和基本的固有性质, 反而一个单位制(例如:
SystemeInternationalUnit
)可决定一组的正交维度,并给每一个维度分配单位。
Belongs to Class
实体
Show full definition (without tree view)
Show full definition (with tree view)
Show without tree
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