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.
Aliases (15)
- validOn ×56
- isDefinedIn ×21
- definedOver ×12
- definedFor ×6
- domainOfDefinition ×3
- domainOfValidity ×3
- constraintOnVariables ×2
- declaredOn ×2
- definesFor ×2
- domainRestriction ×2
- isDefinedFor ×2
- domainOfIntegration ×1
- isDefinedOn ×1
- mathematicallyDefinedOn ×1
- parameterDomain ×1
Sample triples (141)
| Subject | Object |
|---|---|
| AND | ISO 3166-1 ("isDefinedIn") → |
| Annex 1 Areas of Concern | Annex 1 of the Great Lakes Water Quality Agreement ("isDefinedIn") → |
| Apostolic Vicariate | Code of Canon Law ("isDefinedIn") → |
| Apostolic Vicariate | Code of Canons of the Eastern Churches ("isDefinedIn") → |
| BY | ISO 3166-1 ("isDefinedIn") → |
| Boyer–Lindquist coordinates | 0 ≤ θ ≤ π ("domainOfDefinition") → |
| Boyer–Lindquist coordinates | 0 ≤ φ < 2π ("domainOfDefinition") → |
| Boyer–Lindquist coordinates | r > 0 ("domainOfDefinition") → |
| Breeze Card | Atlanta Streetcar ("validOn") → |
| Breeze Card | MARTA buses ("validOn") → |
| Breeze Card | MARTA heavy rail ("validOn") → |
| CYP | ISO 3166-1 standard ("isDefinedIn") → |
| CharlieCard | MBTA Blue Line ("validOn") → |
| CharlieCard | MBTA Green Line ("validOn") → |
| CharlieCard | MBTA Orange Line ("validOn") → |
| CharlieCard | MBTA Red Line ("validOn") → |
| CharlieCard | MBTA Silver Line ("validOn") → |
| CharlieCard | MBTA bus ("validOn") → |
| CharlieCard | MBTA subway ("validOn") → |
| CharlieCard | some MBTA commuter rail zones when loaded with passes ("validOn") → |
| CharlieCard | some MBTA ferry routes when loaded with passes ("validOn") → |
| CharlieTicket | MBTA Silver Line ("validOn") → |
| CharlieTicket | MBTA commuter rail (selected products) ("validOn") → |
| CharlieTicket | MBTA express bus ("validOn") → |
| CharlieTicket | MBTA ferry (selected products) ("validOn") → |
| CharlieTicket | MBTA light rail ("validOn") → |
| CharlieTicket | MBTA local bus ("validOn") → |
| CharlieTicket | MBTA rapid transit ("validOn") → |
| Christoffel symbols | smooth manifold → |
| Conway groups | finite sets ("definedOver") → |
| Conway polynomial | isotopy classes of oriented links in S³ → |
| Dirac equation | Minkowski spacetime ("definedOver") → |
| Eddington–Finkelstein coordinates | Schwarzschild spacetime → |
| Einstein tensor | spacetime manifold → |
| Euler product formula for the Riemann zeta function | complex numbers s with real part greater than 1 ("domainOfValidity") → |
| FIN | ISO 3166-1 ("isDefinedIn") → |
| FLRW metric | four-dimensional spacetime → |
| Fibonacci sequence | nonnegative integers ("isDefinedOn") → |
| Gaussian distribution | real numbers → |
| Gaussian integral | (−∞, ∞) ("domainOfIntegration") → |
| HMAC | iterated hash functions ("definedOver") → |
| II (National Park) | IUCN Guidelines for Applying Protected Area Management Categories ("isDefinedIn") → |
| Itô process | filtered probability space → |
| Itô process | probability space → |
| KAZ | ISO 3166-1 ("isDefinedIn") → |
| KB | UnspecifiedDomain ("isDefinedIn") → |
| Kalai–Smorodinsky bargaining solution | two-person bargaining problems ("definedFor") → |
| Klein quartic | algebraic numbers ("definedOver") → |
| Klein quartic | complex numbers ("definedOver") → |
| Klein quartic | rational numbers ("definedOver") → |
| Kretschmann scalar | pseudo-Riemannian manifolds → |
| Kullback–Leibler divergence | continuous probability distributions ("definedFor") → |
| Kullback–Leibler divergence | discrete probability distributions ("definedFor") → |
| Lebesgue spaces | measure space (X, Σ, μ) → |
| Levi-Civita connection | Riemannian manifold → |
| Levi-Civita connection | pseudo-Riemannian manifold → |
| Lorentz group | four-dimensional real vector space → |
| MAR | ISO 3166-1 ("isDefinedIn") → |
| MBTA CharlieCard | MBTA Blue Line ("validOn") → |
| MBTA CharlieCard | MBTA Green Line ("validOn") → |
| MBTA CharlieCard | MBTA Orange Line ("validOn") → |
| MBTA CharlieCard | MBTA Red Line ("validOn") → |
| MBTA CharlieCard | MBTA Silver Line ("validOn") → |
| MBTA CharlieCard | MBTA bus ("validOn") → |
| MBTA CharlieCard | MBTA subway ("validOn") → |
| MBTA CharlieCard | some MBTA commuter rail services ("validOn") → |
| MBTA CharlieCard | some MBTA ferry services ("validOn") → |
| Minkowski sum | subsets of Euclidean space → |
| Minkowski sum | subsets of a vector space → |
| Mother of the Church | 1964-11-21 ("declaredOn") → |
| Muni Passport | F Market & Wharves historic streetcar line ("validOn") → |
| Muni Passport | Muni Metro light rail ("validOn") → |
| Muni Passport | Muni buses ("validOn") → |
| Muni Passport | Muni trolleybuses ("validOn") → |
| Muni Passport | San Francisco cable cars ("validOn") → |
| Muni Passport | historic streetcars ("validOn") → |
| Nash bargaining solution | feasible set must be compact and convex ("domainRestriction") → |
| Nash bargaining solution | utilities at solution must weakly exceed disagreement utilities ("domainRestriction") → |
| Noetherian module | ring ("definedOver") → |
| Nol Red Ticket | Dubai Metro ("validOn") NERFINISHED → |
| Nol Red Ticket | Dubai Tram ("validOn") NERFINISHED → |
| Nol Red Ticket | Dubai public buses ("validOn") → |
| Nol Red Ticket | RTA public transport network in Dubai ("validOn") → |
| Nol Red Ticket | selected RTA marine transport services ("validOn") → |
| OPUS card | RTC buses ("validOn") → |
| OPUS card | RTL buses ("validOn") → |
| OPUS card | STL buses ("validOn") → |
| OPUS card | STM buses ("validOn") → |
| OPUS card | STM metro ("validOn") → |
| OPUS card | exo commuter trains ("validOn") → |
| ORCA card | buses ("validOn") → |
| ORCA card | commuter rail ("validOn") → |
| ORCA card | ferries ("validOn") → |
| ORCA card | light rail ("validOn") → |
| ORCA card | some paratransit services ("validOn") → |
| ORCA card | streetcars ("validOn") → |
| ORCA card | vanpools ("validOn") → |
| PKWN | 1944-07-22 ("declaredOn") → |
| POL | ISO 3166-1 ("isDefinedIn") → |
| Pascal's identity | k ≤ n in the form C(n,k) = C(n-1,k-1) + C(n-1,k) ("constraintOnVariables") → |
| Pascal's identity | k ≥ 1 in the form C(n,k) = C(n-1,k-1) + C(n-1,k) ("constraintOnVariables") → |
| Poincaré group | four-dimensional Minkowski space → |
| Poly1305 | prime field modulo 2^130-5 ("definedOver") → |
| Poynting vector | Maxwell theory ("isDefinedIn") → |
| Poynting vector | classical electromagnetism ("isDefinedIn") → |
| President of Namibia | Chapter 5 of the Constitution of Namibia ("isDefinedIn") → |
| Prime Minister of Iraq | 2005 Constitution of Iraq ("isDefinedIn") → |
| Probabilistic Encryption | modern cryptography ("isDefinedIn") → |
| RFC 792 | IP ("definesFor") → |
| RFC 792 | Internet Protocol ("definesFor") → |
| RJ45 | data applications ("isDefinedFor") → |
| RJ45 | voice applications ("isDefinedFor") → |
| Ricci curvature tensor | Riemannian manifold → |
| Ricci curvature tensor | pseudo-Riemannian manifold → |
| Ricci flow | Riemannian manifold → |
| Ricci scalar | Riemannian manifold → |
| Ricci scalar | pseudo-Riemannian manifold → |
| Riemann curvature tensor | Riemannian manifold → |
| Riemann curvature tensor | pseudo-Riemannian manifold → |
| Riemann surface | complex numbers ("definedOver") → |
| Riemann zeta function | complex plane → |
| Riemann–Siegel formula | critical line Re(s)=1/2 ("validOn") → |
| Rényi divergence | continuous probability distributions ("definedFor") → |
| Rényi divergence | discrete probability distributions ("definedFor") → |
| Rényi entropy | α ≥ 0, α ≠ 1 ("parameterDomain") → |
| STARTTLS | SMTP ("definedFor") → |
| Schwarzschild coordinates | Schwarzschild manifold ("mathematicallyDefinedOn") → |
| SkyTeam Elite Plus | domestic flights of SkyTeam member airlines ("validOn") → |
| SkyTeam Elite Plus | international flights of SkyTeam member airlines ("validOn") → |
| Travelcard | bus services in all London bus zones when any zones Travelcard is held ("validOn") → |
| USB Micro-B | USB 2.0 specification ("isDefinedIn") → |
| Wigner distribution function | phase space → |
| binding (linguistics) | c-command relations ("definedOver") → |
| binding (linguistics) | locality domains ("definedOver") → |
| binding (linguistics) | syntactic structure ("definedOver") → |
| law of universal gravitation | non-relativistic speeds ("domainOfValidity") → |
| law of universal gravitation | weak gravitational fields ("domainOfValidity") → |
| oci | ISO 639-2 standard ("isDefinedIn") → |
| oci | ISO 639-3 standard ("isDefinedIn") → |
| standard YouTube license | YouTube Terms of Service ("isDefinedIn") → |
| von Neumann algebra | Hilbert space → |