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:
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
(
cooccur
?THING1 ?THING2)とは、
Object
または
Process
?THING1 が
Object
または
Process
?THING2 と同時に起こることを意味し、これは次の 時間的関係をカバーする: 共に同時発生する。
copy
Object
を
Object
の正確なコピーに関連付け、 正確なコピーは(おそらく)空間的および/または時間的な場所を除くすべてのプロパティに関して元のコピーと 区別できない。
equivalentContentClass
BinaryPredicate
は
ContentBearingPhysical
の2つのサブクラスを関連付ける。 (
equivalentContentClass
?CLASS1 ?CLASS2) とは、?CLASS1の各インスタンスによって表現されるコンテンツは、?CLASS2の各インスタンスに よっても表現され、その逆も同様である。例えば、アガサ・クリスティの『オリエント急行殺人事件』の英語 版とロシア語版の関係が挙げられる。 注:(
equivalentContentClass
?CLASS1 ?CLASS2) は (
subsumesContentClass
?CLASS1 ?CLASS2) および (
subsumesContentClass
?CLASS2 ?CLASS1)を 意味する。
equivalentContentInstance
BinaryPredicate
は、
ContentBearingPhysical
の2つのインスタンスに関連する。 (
equivalentContentInstance
?OBJ1 ?OBJ2) とは、?OBJ1で表される内容が?OBJ2で表される内容と同一であることを意味する。 例えば、弁護士への手紙の手書きの草稿と同じ手紙のタイプされたコピーとの関係である。 注: (
equivalentContentInstance
?OBJ1 ?OBJ2) は (
subsumesContentInstance
?OBJ1 ?OBJ2) および (
subsumesContentInstance
?OBJ2 ?OBJ2) の結果となる。
identicalListItems
(
identicalListItems
?LIST1 ?LIST2) とは、?LIST1 と ?LIST2 がそれぞれのリストにまったく同じ項目を持つことを意味する。?LIST1と ?LIST2 はまったく同じアイテムを共有する必要がるが、これらの項目の順序が異なる場合がある。
relatedInternalConcept
2つの引数がSUMO内の関連する概念、と いう意味である。例えば、それらの間での意味にはかなりの類似性がある。SUMO概念と別のソースからの概念 間の意味関係を示すには述語
relatedExternalConcept
を使用する。
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