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.

Try in SPARQL

All labels observed (29)

Label Occurrences
definedOn canonical 327
validOn 239
definedOver 166

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
Lebesgue measure Lebesgue measurable subsets of R^n ⓘ
Lebesgue measure sigma-algebra of Lebesgue measurable sets ⓘ
Wightman correlation functions Minkowski space-time ⓘ
surface form: Minkowski spacetime
Brownian filtration probability space ⓘ
Bip! card Santiago Metro via predicate surface "validOn" ⓘ
Bip! card Transantiago via predicate surface "validOn" ⓘ
surface form: Transantiago buses
Bip! card Metropolitan trains in Santiago via predicate surface "validOn" ⓘ
Whitney sum vector bundles over the same base space ⓘ
C*-algebras complex vector space ⓘ
Weyl tensor pseudo-Riemannian manifold ⓘ
Weyl tensor Riemannian manifold ⓘ
Plücker coordinates Grassmannian manifold ⓘ
Plücker coordinates space of lines in projective space ⓘ
Wiener measure space of continuous paths ⓘ
Wiener measure C([0,∞),ℝ) ⓘ
Wiener measure path space of Brownian motion ⓘ
Wiener measure Borel σ-algebra on C([0,∞),ℝ) via predicate surface "definedOnSigmaAlgebra" ⓘ
FAO Major Fishing Area 41 FAO Major Fishing Areas for Statistical Purposes via predicate surface "isDefinedIn" ⓘ
surface form: FAO Major Fishing Areas for Statistical Purposes (FAO publication)
Dirichlet series subset of the complex plane via predicate surface "domainOfDefinition" ⓘ
Clausius theorem macroscopic thermodynamic systems via predicate surface "domainOfValidity" ⓘ
Euler products for automorphic L-functions global fields via predicate surface "definedOver" ⓘ
Euler products for automorphic L-functions number fields via predicate surface "definedOver" ⓘ
Euler products for automorphic L-functions function fields via predicate surface "definedOver" ⓘ
VBB: Berlin AB night buses within zone AB via predicate surface "validOn" ⓘ
VBB: Berlin AB most regional express trains stopping within AB (with appropriate ticket type) via predicate surface "validOn" ⓘ
Chairman’s Preferred US Airways marketed flights via predicate surface "validOn" ⓘ
Chairman’s Preferred US Airways operated flights via predicate surface "validOn" ⓘ
Chairman’s Preferred Star Alliance partner flights (with varying benefits) via predicate surface "validOn" ⓘ
Travelcard Zones 1–5 bus services within Greater London via predicate surface "validOn" ⓘ
Travelcard Zones 1–5 Underground services within zones 1–5 via predicate surface "validOn" ⓘ
Travelcard Zones 1–5 Overground services within zones 1–5 via predicate surface "validOn" ⓘ
Travelcard Zones 1–5 DLR services within zones 1–5 via predicate surface "validOn" ⓘ
Travelcard Zones 1–5 Elizabeth line services within zones 1–5 via predicate surface "validOn" ⓘ
Travelcard Zones 1–5 most National Rail services within zones 1–5 via predicate surface "validOn" ⓘ
Travelcard Zones 1–5 Tramlink within zones 3–6 via predicate surface "validOn" ⓘ
Kolmogorov axioms event via predicate surface "definesOn" ⓘ
Safar Flyer Miles Royal Air Maroc via predicate surface "validOn" ⓘ
surface form: Royal Air Maroc-operated flights
Safar Flyer Miles eligible codeshare flights via predicate surface "validOn" ⓘ
Néel vector bipartite antiferromagnets via predicate surface "definedFor" ⓘ
Néel vector two-sublattice antiferromagnets ⓘ
Hadamard product (of power series) pairs of power series ⓘ
Itô integral filtered probability space ⓘ
Bernstein set real numbers ⓘ
Bernstein set Cantor set ⓘ
surface form: Cantor space
TOICA JR Central conventional lines in service area via predicate surface "validOn" ⓘ
tso ISO 639 via predicate surface "isDefinedIn" ⓘ
surface form: ISO 639-2
tso ISO 639-3 via predicate surface "isDefinedIn" ⓘ
Adventure Pass for certain parking areas motor vehicles via predicate surface "validOn" ⓘ
stress–energy tensor four-dimensional spacetime manifold ⓘ
Nol Gold Card all zones of Dubai public transport network via predicate surface "validOn" ⓘ