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 は、ReflexiveRelationSymmetricRelation、および 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.


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