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.
SUMO / STRUCTURAL-ONTOLOGY
before or equal
equivalence relation on
expressed in language
greater than or equal to
in scope of interest
less than or equal to
partial ordering on
related internal concept
subsumes content class
subsumes content instance
successor attribute closure
total ordering on
inverse(binary relation, binary relation)
Related WordNet synsets
See more related synsets on a separate page.
- with the terms of the relation reversed; "conversely, not all women are mothers"
If rel1 is an inverse of rel2, then for all inst1,inst2 holds: rel1(inst1,inst2) holds if and only if rel2(inst2,inst1) holds.
(inverse ?REL1 ?REL2)
(holds ?REL1 ?INST1 ?INST2)
(holds ?REL2 ?INST2 ?INST1))))
greater than is an inverse of less than.
(inverse greaterThan lessThan)
greater than or equal to is an inverse of less than or equal to.
(inverse greaterThanOrEqualTo lessThanOrEqualTo)
arc cosine fn is an inverse of cosine fn.
(inverse ArcCosineFn CosineFn)
arc sine fn is an inverse of sine fn.
(inverse ArcSineFn SineFn)
arc tangent fn is an inverse of tangent fn.
(inverse ArcTangentFn TangentFn)
smaller is an inverse of larger.
(inverse smaller larger)