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

Formal Language: 


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