invariantType
P9160
predicate
Indicates that one entity has a type or classification that remains constant or unchanged under specified conditions or transformations.
All labels observed (6)
| Label | Occurrences |
|---|---|
| classificationInvariants | 3 |
| invarianceType | 3 |
| invariantQuantity | 3 |
| invariantType canonical | 3 |
| isConstantType | 2 |
| typeOfInvariance | 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: invariantType
Generated description
Indicates that one entity has a type or classification that remains constant or unchanged under specified conditions or transformations.
Sample triples (15)
| Subject | Object |
|---|---|
| Kretschmann scalar | scalar polynomial invariant of Riemann tensor ⓘ |
| Minkowski space-time | space-time interval via predicate surface "invariantQuantity" ⓘ |
| Theorema Egregium | intrinsic invariance via predicate surface "typeOfInvariance" ⓘ |
| k_B | thermodynamic constant via predicate surface "isConstantType" ⓘ |
| k_B | statistical constant via predicate surface "isConstantType" ⓘ |
| Galilean group | Newtonian time interval via predicate surface "invariantQuantity" ⓘ |
| Galilean group | spatial distance between simultaneous events via predicate surface "invariantQuantity" ⓘ |
| Dehn function | quasi-isometry invariant up to equivalence of functions ⓘ |
|
Hermitian forms (work on quadratic forms)
surface form:
Hermitian form
|
signature in the indefinite case via predicate surface "classificationInvariants" ⓘ |
|
Hermitian forms (work on quadratic forms)
surface form:
Hermitian form
|
rank via predicate surface "classificationInvariants" ⓘ |
|
Hermitian forms (work on quadratic forms)
surface form:
Hermitian form
|
nullity via predicate surface "classificationInvariants" ⓘ |
| Rozansky–Witten theory | topological invariant ⓘ |
| Haar measure | left-invariant measure via predicate surface "invarianceType" ⓘ |
| Haar measure | right-invariant measure via predicate surface "invarianceType" ⓘ |
| Haar measure | bi-invariant measure on unimodular groups via predicate surface "invarianceType" ⓘ |