SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > inverse
Next BinaryPredicateirreflexiveOn    UpBinaryPredicate, SymmetricRelation    Previous BinaryPredicateinstance   

inverse
subjectfact 
inversedocumentation 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 swapped2001-11-30 13:34:32.0
has axiom
(=>
(and
(inverse ?REL1 ?REL2)
(instance ?REL1 BinaryRelation)
(instance ?REL2 BinaryRelation))
(forall (?INST1 ?INST2)
(<=>
(holds ?REL1 ?INST1 ?INST2)
(holds ?REL2 ?INST2 ?INST1))))
2001-11-30 13:34:32.0
has domain1 BinaryRelation2001-11-30 13:34:32.0
has domain2 BinaryRelation2001-11-30 13:34:32.0
is an instance of BinaryPredicate2001-11-30 13:34:32.0
is an instance of SymmetricRelation2001-11-30 13:34:32.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next BinaryPredicateirreflexiveOn    UpBinaryPredicate, SymmetricRelation    Previous BinaryPredicateinstance