invariantType

P9160
predicate

Indicates that one entity has a type or classification that remains constant or unchanged under specified conditions or transformations.

Try in SPARQL

All labels observed (6)

Label Occurrences
classificationInvariants 3
invarianceType 3
invariantQuantity 3

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 form
linked to: Hermitian forms (work on quadratic forms)
signature in the indefinite case via predicate surface "classificationInvariants" ⓘ
Hermitian form
linked to: Hermitian forms (work on quadratic forms)
rank via predicate surface "classificationInvariants" ⓘ
Hermitian form
linked to: Hermitian forms (work on quadratic forms)
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" ⓘ