SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > inverse |
inverse comparison table |
Subject | have domain2 | have domain1 | be first domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|
BinaryPredicate | singleValued | A Predicate relating two items - its valence is two | (=> | Predicate | |||
SymmetricRelation | trichotomizingOn | A BinaryRelation ?REL is symmetric just in case (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2 | (=> | BinaryRelation | |||
inverse | BinaryRelation | BinaryRelation | singleValued | 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 BinaryPredicate: irreflexiveOn Up: BinaryPredicate, SymmetricRelation Previous BinaryPredicate: instance