Simple Browser : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



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