isInverseOf
P21517
predicate
Indicates that one relation reverses the direction of another, so that if the original relates A to B, its inverse relates B to A.
All labels observed (13)
| Label | Occurrences |
|---|---|
| hasInverseOperation | 6 |
| hasInverse | 5 |
| inverseOperation | 5 |
| inverseOf | 3 |
| inverseRelation | 3 |
| isInverseOf canonical | 3 |
| inverseElement | 2 |
| hasInverseMeasure | 1 |
| hasInverseRelation | 1 |
| hasInverseRelationWith | 1 |
| inverseDefinition | 1 |
| inverseProperty | 1 |
| isReversedBy | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: isInverseOf
Generated description
Indicates that one relation reverses the direction of another, so that if the original relates A to B, its inverse relates B to A.
Sample triples (33)
| Subject | Object |
|---|---|
|
red cross
surface form:
Red Cross emblem
|
flag of Switzerland ⓘ |
| farad | ohm (via time: 1 F = 1 s/Ω) via predicate surface "inverseRelation" ⓘ |
| Kronecker product | If A and B are invertible then (A ⊗ B)^{-1} = A^{-1} ⊗ B^{-1} via predicate surface "inverseRelation" ⓘ |
| hertz | second per cycle via predicate surface "inverseOf" ⓘ |
| Euclidean group | inverse isometry via predicate surface "inverseElement" ⓘ |
| E(n) | inverse isometry via predicate surface "hasInverseOperation" ⓘ |
| Laplace transform | inverse Laplace transform via predicate surface "hasInverse" ⓘ |
| Laplace transform | f(t) = (1/(2πi)) ∫_{γ−i∞}^{γ+i∞} F(s) e^{st} ds via predicate surface "inverseDefinition" ⓘ |
| Pochhammer symbol | (a)_n = (-1)^n (-a)_n^{\downarrow} where ^{\downarrow} denotes falling factorial via predicate surface "hasInverseRelation" ⓘ |
| von Klitzing constant | conductance quantum via predicate surface "hasInverse" ⓘ |
| MixColumns | InvMixColumns via predicate surface "hasInverse" ⓘ |
| AddRoundKey | AddRoundKey via predicate surface "inverseOperation" ⓘ |
| dabigatran | idarucizumab via predicate surface "isReversedBy" ⓘ |
| Weyl fractional integral |
Weyl fractional integral
via predicate surface "hasInverseRelationWith"
self-linksurface differs
ⓘ
surface form:
Weyl fractional derivative
|
| Hadamard fractional integral |
Hadamard fractional integral
via predicate surface "hasInverse"
self-linksurface differs
ⓘ
surface form:
Hadamard-type fractional derivative
|
| Dehn twist | inverse is the twist in the opposite direction via predicate surface "inverseProperty" ⓘ |
|
Lambert W function (later named in his honor)
surface form:
Lambert W function
|
w ↦ w e^w ⓘ |
| ST_Within | ST_Contains ⓘ |
|
special orthogonal group SO(n)
surface form:
SO(n)
|
matrix transpose via predicate surface "inverseOperation" ⓘ |
| U(1) | complex conjugation via predicate surface "hasInverseOperation" ⓘ |
| Fourier transform | inverse Fourier transform via predicate surface "inverseOperation" ⓘ |
|
general linear group GL(n,R)
surface form:
GL(n,ℝ)
|
matrix inversion via predicate surface "hasInverseOperation" ⓘ |
|
general linear group GL(n,C)
surface form:
GL(n,ℂ)
|
matrix inverse via predicate surface "inverseOperation" ⓘ |
| Liouville function | Dirichlet inverse of λ(n) is given by the characteristic function of squares via predicate surface "inverseRelation" ⓘ |
| SubBytes | InvSubBytes via predicate surface "hasInverseOperation" ⓘ |
| Legendre transformation | itself on appropriate function classes via predicate surface "inverseOf" ⓘ |
| Witt group of quadratic forms | taking opposite quadratic form via predicate surface "hasInverseOperation" ⓘ |
| Brauer group | taking opposite algebra via predicate surface "inverseOperation" ⓘ |
| Bhattacharyya coefficient | Bhattacharyya distance via predicate surface "hasInverseMeasure" NERFINISHED ⓘ |
| Hilbert transform | negative Hilbert transform via predicate surface "inverseOf" ⓘ |
| Picard group | dual line bundle L^∨ via predicate surface "inverseElement" ⓘ |
| Stieltjes transform | Stieltjes inversion formula via predicate surface "hasInverseOperation" NERFINISHED ⓘ |
|
Möbius transformations
surface form:
Möbius transformation
|
another Möbius transformation via predicate surface "hasInverse" ⓘ |