hasDefinition
P2185
predicate
Indicates that one entity provides the meaning, explanation, or definition of another entity.
All labels observed (10)
| Label | Occurrences |
|---|---|
| hasDefinition canonical | 189 |
| isDefinedAs | 66 |
| containsDefinitionOf | 6 |
| hasOperationDefinition | 3 |
| usesDefinitionFrom | 2 |
| HMLDefinition | 1 |
| hasAngleDefinition | 1 |
| hasDefinitionIntegral | 1 |
| hasEdgeDefinition | 1 |
| methodDefinition | 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: hasDefinition
Generated description
Indicates that one entity provides the meaning, explanation, or definition of another entity.
Sample triples (271)
| Subject | Object |
|---|---|
| t_P | sqrt(ħ G / c^5) via predicate surface "isDefinedAs" ⓘ |
| SU(3) | group of 3×3 unitary matrices with determinant 1 via predicate surface "isDefinedAs" ⓘ |
| SL(2,C) | group of 2×2 complex matrices with determinant 1 ⓘ |
| Fourteeners of California | mountain peaks in California that rise above 14,000 feet in elevation ⓘ |
| Content delivery network | A content delivery network is a geographically distributed system of servers that accelerates and optimizes the delivery of web content to users by serving it from locations closer to them. ⓘ |
| Budget Day | the annual occasion on which a government formally presents its budget and financial plans for the coming year ⓘ |
| New York State Scenic Byway | roadway recognized for outstanding scenic qualities via predicate surface "isDefinedAs" ⓘ |
| New York State Scenic Byway | roadway recognized for outstanding historic qualities via predicate surface "isDefinedAs" ⓘ |
| New York State Scenic Byway | roadway recognized for outstanding cultural qualities via predicate surface "isDefinedAs" ⓘ |
| New York State Scenic Byway | roadway recognized for outstanding recreational qualities via predicate surface "isDefinedAs" ⓘ |
| New York State Scenic Byway | roadway recognized for outstanding natural qualities via predicate surface "isDefinedAs" ⓘ |
| Universe | the totality of all space, time, matter, energy, and physical laws that exist ⓘ |
| port authority | governmental or quasi-governmental organization that oversees and manages port operations, infrastructure, and security within a designated maritime area ⓘ |
| state security archives | collections of records and documents produced by a country’s secret police or intelligence services ⓘ |
| Reverse Polish Notation | a mathematical notation in which every operator follows all of its operands via predicate surface "isDefinedAs" ⓘ |
| Larmor precession | precession of the magnetic moments of charged particles or nuclei in an external magnetic field ⓘ |
| Single Responsibility Principle | A class or module should have only one reason to change. ⓘ |
| Single Responsibility Principle | A software module should have one, and only one, responsibility. ⓘ |
| Bruneian Canadian | Canadian resident or citizen of Bruneian origin or descent via predicate surface "isDefinedAs" ⓘ |
| Hardy Z-function | Z(t) = e^{i\theta(t)} ζ(1/2 + it) ⓘ |
| Cauchy sequence |
Cauchy sequence
self-linksurface differs
ⓘ
surface form:
A sequence (x_n) in a metric space (X,d) is Cauchy if for every ε > 0 there exists N such that for all m,n ≥ N, d(x_m,x_n) < ε.
|
| Cauchy problem | problem of finding a solution of a differential equation that satisfies prescribed initial data on a given set ⓘ |
| Møller scattering | e⁻ e⁻ → e⁻ e⁻ scattering via predicate surface "isDefinedAs" ⓘ |
| Mustadrak collections | supplementary hadith compilations that gather narrations meeting the authenticity criteria of earlier canonical works but not included in them ⓘ |
| mutawatir hadith | a Prophetic report transmitted through so many independent and reliable chains that its authenticity is considered certain ⓘ |
|
Port States
surface form:
Port State
|
a coastal State that exercises regulatory control over foreign-flagged vessels visiting its ports ⓘ |
| Airworthiness Directives | Legally enforceable rules issued by aviation authorities to correct unsafe conditions in aircraft and related products ⓘ |
| Night | period of each 24-hour day characterized by darkness via predicate surface "isDefinedAs" ⓘ |
| Night | time when the Sun is below the horizon via predicate surface "isDefinedAs" ⓘ |
| Death | irreversible cessation of life processes in an organism ⓘ |
| Kai (quay) | a waterside street or embankment road that runs along a river or harbor ⓘ |
| Deputy Prime Minister of Israel | senior cabinet role typically held by a prominent political leader who assists the Prime Minister and may act in their stead when necessary via predicate surface "isDefinedAs" ⓘ |
| near-decomposability | a property of complex systems in which subsystems are more strongly coupled internally than they are to other subsystems ⓘ |
| Electric Multiple Unit | self-propelled train consisting of multiple powered carriages ⓘ |
| LM curve | locus of points where money demand equals money supply via predicate surface "isDefinedAs" ⓘ |
| Snell envelope | smallest supermartingale dominating a given process via predicate surface "isDefinedAs" ⓘ |
| court of last resort | the highest judicial authority in a legal system whose decisions are final and not subject to further appeal ⓘ |
| Truth | alignment between statements or beliefs and reality via predicate surface "isDefinedAs" ⓘ |
| moveable feasts | Christian liturgical celebrations whose dates change each year via predicate surface "isDefinedAs" ⓘ |
| Key Biodiversity Area | A site contributing significantly to the global persistence of biodiversity, in terrestrial, freshwater and marine ecosystems. ⓘ |
| Eddington number | Γ = L / L_Edd ⓘ |
| Grand Duchy | a sovereign or semi-sovereign state or territory whose head of state holds the hereditary title of Grand Duke or Grand Duchess ⓘ |
| Non-attached Members | Members of the European Parliament who do not belong to any official political group and sit independently ⓘ |
| union–find data structure | find returns the representative of the set containing an element via predicate surface "hasOperationDefinition" ⓘ |
| union–find data structure | union merges the sets containing two given elements via predicate surface "hasOperationDefinition" ⓘ |
| union–find data structure | make-set creates a new set containing a single element via predicate surface "hasOperationDefinition" ⓘ |
| Metabolists | individuals or organisms whose biological processes center on metabolism ⓘ |
| Bq | one nuclear decay per second via predicate surface "isDefinedAs" ⓘ |
| Bq | one disintegration per second via predicate surface "isDefinedAs" ⓘ |
| President | a high-ranking official who serves as the head of a republic, organization, or institution ⓘ |