SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > SymmetricRelation |
SymmetricRelation comparison table |
Subject | have domain2 | have domain1 | be first domain of | be second domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|---|
connected | Object | Object | valence | subrelation | (connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2 | (=> | SymmetricRelation | |
connectedEngineeringComponents | EngineeringComponent | EngineeringComponent | trichotomizingOn | inverse | This is the most general connection relation between EngineeringComponents. If (connectedEngineeringComponents ?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an engineeringSubcomponent of the other. The relation connectedEngineeringComponents is a SymmetricRelation; there is no information in the direction of connection between two components. It is also an IrreflexiveRelation; no EngineeringComponent bears this relation to itself. Note that this relation does not associate a name or type with the connection | (=> | SymmetricRelation | |
contraryProperty | Attribute | Attribute | singleValued | inverse | Means that the two arguments are properties that are opposed to one another, e.g. Pliable versus Rigid | (=> | TransitiveRelation | |
disjoint | Class | Class | singleValued | inverse | Classes are disjoint only if they share no instances, i.e. just in case the result of applying IntersectionFn to them is empty | (=> | SymmetricRelation | |
EquivalenceRelation | trichotomizingOn | inverse | A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation | (=> | TransitiveRelation | |||
inverse | BinaryRelation | BinaryRelation | singleValued | inverse | The inverse of a BinaryRelation is a relation in which all the tuples of the original relation are reversed. In other words, one BinaryRelation is the inverse of another if they are equivalent when their arguments are swapped | (=> | SymmetricRelation |
Next BinaryRelation: TransitiveRelation Up: BinaryRelation Previous BinaryRelation: ReflexiveRelation