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:
properPart
Sigma KEE - properPart
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
真正的部分
(
properPart
?OBJ1 ?OBJ2) 的意思是除了 ?OBJ2 本身 ?OBJ1 是 ?OBJ2 的一部分。 这是一个
TransitiveRelation
和
AsymmetricRelation
(因此也是一个
IrreflexiveRelation
)。
Relationships
Parents
部分
The basic mereological relation. All other mereological relations are defined in terms of this one. (
part
?PART ?WHOLE) simply means that the
Object
?PART is part of the
Object
?WHOLE. Note that, since
part
is a
ReflexiveRelation
, every
Object
is a part of itself.
Children
工程子组件
(
engineeringSubcomponent
?SUB ?SUPER) means that the
EngineeringComponent
?SUB is structurally a
properPart
of ?SUPER. This relation is an
AsymmetricRelation
, since two
EngineeringComponent
s cannot be subcomponents of each other.
地理分区域
(
geographicSubregion
?PART ?WHOLE) means that the
GeographicArea
?PART is part of the
GeographicArea
?WHOLE.
physicalEnd
A notion of an indeterminate portion at the end of an
Object
that has a
LongAndThin
ShapeAttribute
.
流出口
(
streamOutfall
?WATER ?RIVER) means that the
WaterArea
?MOUTH is the outfall of the
River
?RIVER.
Instances
抽象体
这些特质或质量,和任何以物理媒介化身的特质/质量不同。抽象 的实例在意义上,可以说是像数学物体如集合和关系般存在,但是它们不能没有任何物理编码或化身便存在于特定的时间 和地点。
反对称关系
一个
BinaryRelation
?REL 是
AntisymmetricRelation
如果不同的 ?INST1 和 ?INST2 是(?REL ?INST1 ?INST2) 不意味着 (?REL ?INST2 ?INST1)。也就是说当所有的 ?INST1 和 ?INST2 是 (?REL ?INST1 ?INST2)和 (?REL ?INST2 ?INST1) 意味着 ?INST1 和 ?INST2 是相同的。注:一个
AntisymmetricRelation
有可能 是一个
ReflexiveRelation
。
非对称关系
一个
BinaryRelation
属于不对称关系 当且仅当它既是一个
AntisymmetricRelation
又是一个
IrreflexiveRelation
。
二元谓语
这是一个联系两个项目的
Predicate
- 它的配价是二。
二元关系
BinaryRelation
是只有在关系联系两样东西的时候 才算是真,框架理论以槽代表
BinaryRelation
。
实体
The universal class of individuals. This is the root node of the ontology.
可继承的关系
这是一个
Relation
类别,它的特性可以是 通过
subrelation
Predicate
把特性在类别的层次结构承传下去。
非自反关系
Relation
?REL 属于非自反关系当且仅当没有 一个?INST 是(?REL ?INST ?INST)。
偏序关系
一个
BinaryRelation
属于部分顺序 关系如果它是一个
ReflexiveRelation
、
AntisymmetricRelation
和
TransitiveRelation
。
谓语
Predicate
是一个作句的
Relation
,这个
Relation
的每一个元组都是物体有限、有序的的句子。一个特定组员是一个
Predicate
的元素这事实,由 '(*predicate* arg_1 arg_2 .. arg_n)'来表示, arg_i 是关联的事物。在
BinaryPredicate
的情况下, 可以读成 `arg_1 是 *predicate* arg_2' 或者 `arg_1 的一个 *predicate* 是 arg_2'。
自反关系
Relation
?REL 属于自反关系当且仅当所有 ?INST 都是(?REL ?INST ?INST)。
关系
这是关系的
Class
。现有三类的
Relation
:
Predicate
,
Function
和
List
。
Predicate
和
Function
皆表示有序的n元组集合, 这两个
Class
的差别在于
Predicate
包括组成公式的运算符,而
Function
则包括组成 术语的运算符,而一个
List
却是一个特定的有序n元组。
空间关系
这是一个广义的空间
Relation
Class
,这个
Class
包括分体论关系和拓扑关系。
总值关系
一个
Relation
是
TotalValuedRelation
以防该
Relation
最后参数位置出现一个赋值, 假设除了最后一个之外每个参数位置都 有一个赋值。注:声明一个
Relation
既是
TotalValuedRelation
又是
SingleValuedRelation
表示这是一个总函数。
传递关系
一个
BinaryRelation
?REL 是传递关系 如果所有的 ?INST1, ?INST2和 ?INST3 是(?REL ?INST1 ?INST2) 和 (?REL ?INST2 ?INST3) 意味着 (?REL ?INST1 ?INST3)。
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