SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > inverse |
inverse | ||||
subject | fact |
inverse | documentation 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 | |
has axiom (=> | ||
has domain1 BinaryRelation | ||
has domain2 BinaryRelation | ||
is an instance of BinaryPredicate | ||
is an instance of SymmetricRelation | ||
BinaryRelation | is first domain of DomainFn | |
is first domain of equivalenceRelationOn | ||
is first domain of inverse | ||
is first domain of irreflexiveOn | ||
is first domain of partialOrderingOn | ||
is first domain of RangeFn | ||
is first domain of reflexiveOn | ||
is first domain of totalOrderingOn | ||
is first domain of trichotomizingOn | ||
is second domain of inverse | ||
Predicate | is first domain of singleValued | |
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next BinaryPredicate: irreflexiveOn Up: BinaryPredicate, SymmetricRelation Previous BinaryPredicate: instance