definedOn
P4464
predicate
Indicates that something (such as a function, rule, or structure) is specified to apply or be valid over a particular domain, set, or context.
All labels observed (29)
| Label | Occurrences |
|---|---|
| definedOn canonical | 327 |
| validOn | 239 |
| definedOver | 166 |
| definedFor | 123 |
| isDefinedIn | 82 |
| isDefinedFor | 37 |
| definesFor | 33 |
| isDefinedOver | 18 |
| declaredOn | 8 |
| domainRestriction | 8 |
| isDefinedOn | 8 |
| domainOfDefinition | 6 |
| areDefinedOver | 5 |
| domainOfValidity | 5 |
| isDefinedAt | 4 |
| parameterDomain | 3 |
| typicallyDefinedOver | 3 |
| canBeDefinedOn | 2 |
| constraintOnVariables | 2 |
| definedOnInterval | 2 |
| definedOnGeoid | 1 |
| definedOnInterface | 1 |
| definedOnSigmaAlgebra | 1 |
| definesFunctionOn | 1 |
| definesOn | 1 |
| definitionDomain | 1 |
| domainOfIntegration | 1 |
| mathematicallyDefinedOn | 1 |
| oftenDefinedOn | 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: definedOn
Generated description
Indicates that something (such as a function, rule, or structure) is specified to apply or be valid over a particular domain, set, or context.
Sample triples (1,090)
| Subject | Object |
|---|---|
| AL | ISO 3166-1 via predicate surface "isDefinedIn" ⓘ |
| Minkowski metric η_{μν} |
Minkowski space-time
ⓘ
surface form:
Minkowski spacetime
|
| Sunbury micropolitan area | census data aggregation via predicate surface "isDefinedFor" ⓘ |
|
Hilbert–Schmidt operators
surface form:
Hilbert–Schmidt operator
|
Hilbert spaces
ⓘ
surface form:
Hilbert space
|
| Schmidt orthogonalization | inner product space ⓘ |
| Schmidt orthogonalization | Euclidean space ⓘ |
| Camerarius Sanctae Romanae Ecclesiae |
apostolic constitution Universi Dominici Gregis
via predicate surface "isDefinedIn"
ⓘ
surface form:
Apostolic Constitution Universi Dominici Gregis
|
| Camerarius Sanctae Romanae Ecclesiae | other papal constitutions on the vacancy of the Apostolic See via predicate surface "isDefinedIn" ⓘ |
| Chern character | complex vector bundles via predicate surface "definedFor" ⓘ |
| Chern character | algebraic vector bundles via predicate surface "definedFor" ⓘ |
| Chern character | perfect complexes in derived categories via predicate surface "definedFor" ⓘ |
| Todd class | cohomology ring ⓘ |
| Todd class | complex line bundle via predicate surface "definedFor" ⓘ |
| Dirac operator | spin manifold ⓘ |
| Dirac operator | Riemannian manifold with spin structure ⓘ |
| Laplacian spectrum | domain ⓘ |
| Laplacian spectrum |
Riemannian manifolds
ⓘ
surface form:
Riemannian manifold
|
| Laplacian spectrum | graph ⓘ |
| High Contracting Parties to the Geneva Conventions |
Geneva Conventions
via predicate surface "isDefinedIn"
ⓘ
surface form:
Geneva Conventions of 1949
|
| Subway smartcard | all Glasgow Subway stations via predicate surface "validOn" ⓘ |
| Rota–Baxter algebra | associative algebra via predicate surface "definedOver" ⓘ |
| HOLO card | fixed-route buses on Oʻahu via predicate surface "validOn" ⓘ |
| HOLO card |
Skyline (Honolulu rail transit)
via predicate surface "validOn"
ⓘ
surface form:
Honolulu rail line Skyline
|
| Orlicz spaces | measure space ⓘ |
| Banach algebra | real numbers via predicate surface "definedOver" ⓘ |
| Banach algebra | complex numbers via predicate surface "definedOver" ⓘ |
| Schauder basis | Banach space ⓘ |
| METRO Day Pass | METRO local bus services via predicate surface "validOn" ⓘ |
| METRO Day Pass |
METRORail light rail
via predicate surface "validOn"
ⓘ
surface form:
METRORail
|
| METRO Day Pass | METRO Park & Ride buses via predicate surface "validOn" ⓘ |
| METRO Day Pass | METRO curb2curb services via predicate surface "validOn" ⓘ |
| Lefschetz pencil | algebraic variety ⓘ |
| Lefschetz pencil | projective variety ⓘ |
| Banach–Mazur game | topological space ⓘ |
| Banach–Mazur game | metric space ⓘ |
| Banach–Mazur distance | pairs of isomorphism classes of finite-dimensional normed spaces via predicate surface "isDefinedFor" ⓘ |
| Banach limit | bounded real sequences ⓘ |
| Banach limit | bounded complex sequences ⓘ |
| UpperTriangular | a field or ring of matrix entries via predicate surface "isDefinedOver" ⓘ |
|
Bidiagonal
surface form:
Bidiagonal matrix
|
Real numbers or complex numbers via predicate surface "isDefinedOver" ⓘ |
| OCB authenticated-encryption mode | fixed-size blocks via predicate surface "definedOver" ⓘ |
|
British declaration of war on Germany
surface form:
British declaration of war on Germany (1914)
|
German Empire via predicate surface "declaredOn" NERFINISHED ⓘ |
| Wigner-Seitz radius r_s | three-dimensional electron gas via predicate surface "definedOver" ⓘ |
| Wigner-Seitz radius r_s | two-dimensional electron gas via predicate surface "definedOver" ⓘ |
| SHA-0 | binary strings of arbitrary length via predicate surface "definedOver" ⓘ |
|
Speaker
surface form:
Speaker of the Saeima
|
Latvian constitutional framework via predicate surface "isDefinedIn" ⓘ |
|
Hubble constant H₀
surface form:
Hubble constant
|
redshift z = 0 via predicate surface "isDefinedAt" ⓘ |
| Hecke operators | number theory via predicate surface "definedOver" ⓘ |
| Szegő kernel | boundary of a domain in the complex plane ⓘ |
| Szegő kernel | boundary of a domain in C^n ⓘ |