Simple Browser
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
EquivalenceRelation
Sigma KEE - EquivalenceRelation
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
等价关系
一个
BinaryRelation
是等价关系如果它是 一个
ReflexiveRelation
、
SymmetricRelation
和
TransitiveRelation
。
Relationships
Parents
自反关系
Relation
?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.
对称关系
A
BinaryRelation
?REL is symmetric just iff (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2.
传递关系
A
BinaryRelation
?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3.
Instances
同时发生
(
cooccur
?THING1 ?THING2)的意思是
Object
或
Process
?THING1 和
Object
或
Process
?THING2 同时一起发生。这包括以下的时间关系:巧合、同时 发生、同一时段发生和伴随发生。
副本
这个概念把一个
Object
和这个
Object
一摸一样地副本联系 起来,而原本和它一摸一样的副本,在所有的特性除了(可能) 空间和/或时间地位置上,是没有区别的。
内容等效类
这是个联系两个
ContentBearingPhysical
子类别的
BinaryPredicate
,(
equivalentContentClass
?CLASS1 ?CLASS2) 的意思是由 ?CLASS1 的每一个实例所表达的内容,也由 ?CLASS2 的每一个实例表达,反之亦然。阿加莎· 克里斯蒂的著作“东方快车谋杀案”的英语和俄语版之间的关系,就是一个例子。注: (
equivalentContentClass
?CLASS1 ?CLASS2) 暗示 (
subsumesContentClass
?CLASS1 ?CLASS2) 和 (
subsumesContentClass
?CLASS2 ?CLASS1)。
内容等效实例
这是个联系两个
ContentBearingPhysical
实例的
BinaryPredicate
,(
equivalentContentInstance
?OBJ1 ?OBJ2)的意思是由 ?OBJ1 所表达的内容和由 ?OBJ2 所表达的内容是相同的。一封给律师的信的手稿和 同一封信的打字本之间的关系便是一个例子。 注:(
equivalentContentInstance
?OBJ1 ?OBJ2) 暗示 (
subsumesContentInstance
?OBJ1 ?OBJ2) 和 (
subsumesContentInstance
?OBJ2 ?OBJ2)。
相同的清单项目
(
identicalListItems
?LIST1 ?LIST2) 的意思是?LIST1 和 ?LIST2 在它们各自的列表,拥有完全相同的项目。虽然 ?LIST1 和 ?LIST2 需要共同拥有完全 相同的项目,但是它们的项目可以按不同的顺序排列。
内部相关的概念
这个意思是两个变量在SUMO是相关的概念,就是 说它们之间的含义极为相似。可以用
relatedExternalConcept
术语,来要表示一个SUMO概念和另一个出处的概念 在含义上的关系。
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