haveProperty
P23698
predicate
Indicates that an entity possesses, exhibits, or is characterized by a particular property or attribute.
All labels observed (56)
| Label | Occurrences |
|---|---|
| haveProperty canonical | 60 |
| hasProp | 56 |
| satisfiesProperty | 34 |
| hasScriptProperty | 25 |
| hasCoreProperty | 24 |
| hasPropertyValue | 18 |
| hasStaticProperty | 14 |
| haveAttribute | 13 |
| hasClassProperty | 12 |
| assumesProperty | 10 |
| propertyOf | 9 |
| definingProperty | 7 |
| hasStyleProperty | 7 |
| hasDynamicalProperty | 6 |
| hasNaturalProperty | 5 |
| readsProperty | 5 |
| attributeHas | 4 |
| handledProperty | 4 |
| hasCohomologyProperty | 4 |
| hasConfigurationProperty | 4 |
| hasKeyMaterialProperty | 4 |
| hasKnownProperty | 4 |
| hasNotablePropertyExample | 4 |
| hasAestheticProperty | 3 |
| hasKeyPhysicalProperty | 3 |
| hasKeyProp | 3 |
| hasMagicalProperty | 3 |
| hasObjectProperty | 3 |
| hasPropertyLikeBehavior | 3 |
| hasStructuralProperty | 3 |
| mayHaveProperty | 3 |
| testsProperty | 3 |
| carriesProperty | 2 |
| hasComputationalProperty | 2 |
| hasConjecturedProperty | 2 |
| hasFamousPropertySet | 2 |
| hasLocalProperty | 2 |
| hasMemberProperty | 2 |
| hasPayoffProperty | 2 |
| hasThermodynamicProperty | 2 |
| nullVectorProperty | 2 |
| actuallyPropertyOfObject | 1 |
| hasAnalyticProperty | 1 |
| hasBaseProperty | 1 |
| hasCategoryProperty | 1 |
| hasCircumscribableProperty | 1 |
| hasDefiningProperty | 1 |
| hasDistributionProperty | 1 |
| hasHullProperty | 1 |
| hasInscribableProperty | 1 |
| hasPropertyRule | 1 |
| hasPropertyValueLevel | 1 |
| hasPropertyValuesLevel | 1 |
| holdsPropertyAs | 1 |
| oraclePropertyTested | 1 |
| provableProperty | 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: haveProperty
Generated description
Indicates that an entity possesses, exhibits, or is characterized by a particular property or attribute.
Sample triples (393)
| Subject | Object |
|---|---|
| Erotes | wings via predicate surface "haveAttribute" ⓘ |
| Erotes | bows and arrows via predicate surface "haveAttribute" ⓘ |
| Erotes | torches via predicate surface "haveAttribute" ⓘ |
| Erotes | garlands via predicate surface "haveAttribute" ⓘ |
| QDialog | model-value via predicate surface "hasProp" ⓘ |
| QDialog | persistent via predicate surface "hasProp" ⓘ |
| QDialog | maximized via predicate surface "hasProp" ⓘ |
| QDialog | full-width via predicate surface "hasProp" ⓘ |
| QDialog | full-height via predicate surface "hasProp" ⓘ |
| QDialog | transition-show via predicate surface "hasProp" ⓘ |
| QDialog | transition-hide via predicate surface "hasProp" ⓘ |
| QDialog | position via predicate surface "hasProp" ⓘ |
| QDialog | seamless via predicate surface "hasProp" ⓘ |
| QDialog | backdrop-filter via predicate surface "hasProp" ⓘ |
| Bessel functions | orthogonality under suitable weight functions ⓘ |
| Bessel functions | infinite number of zeros ⓘ |
| Bessel functions | recurrence relations ⓘ |
| Bessel functions | integral representations ⓘ |
| Bessel functions | series expansions ⓘ |
| Earth vs. the Spider | giant spider web in cave via predicate surface "hasProp" ⓘ |
| Bassano | Odescalchi family via predicate surface "propertyOf" NERFINISHED ⓘ |
| Hausdorff dimension | subsets of a metric space via predicate surface "propertyOf" ⓘ |
| Taoist deities | multiple ranks and offices via predicate surface "haveAttribute" ⓘ |
| Taoist deities | bureaucratic organization via predicate surface "haveAttribute" ⓘ |
| Taoist deities | local and universal jurisdictions via predicate surface "haveAttribute" ⓘ |
| Newton interpolation polynomial | passes through all given data points via predicate surface "satisfiesProperty" ⓘ |
| Newton interpolation polynomial | unique interpolating polynomial for given nodes and values via predicate surface "satisfiesProperty" ⓘ |
| Johnson solids | strictly convex polyhedra via predicate surface "definingProperty" ⓘ |
| Johnson solids | faces are regular polygons via predicate surface "definingProperty" ⓘ |
| Johnson solids | not uniform polyhedra via predicate surface "definingProperty" ⓘ |
| Johnson solids | finite set of 92 solids via predicate surface "definingProperty" ⓘ |
| Johnson solids | each solid has a finite number of faces ⓘ |
| Johnson solids | each solid has a finite number of vertices ⓘ |
| Johnson solids | each solid has a finite number of edges ⓘ |
| rhombicuboctahedron | can be inscribed in a sphere via predicate surface "hasCircumscribableProperty" ⓘ |
| rhombicuboctahedron | faces tangent to a sphere via predicate surface "hasInscribableProperty" ⓘ |
| Crown in right of England | Crown Estate (in England) via predicate surface "holdsPropertyAs" NERFINISHED ⓘ |
| Valetudo | orbits in region dominated by retrograde irregular satellites via predicate surface "hasDynamicalProperty" ⓘ |
| Valetudo | potentially colliding orbits with retrograde Jovian moons via predicate surface "hasDynamicalProperty" ⓘ |
| Radio Raheem | boombox via predicate surface "hasProp" ⓘ |
| Radio Raheem | LOVE brass knuckles via predicate surface "hasProp" ⓘ |
| Radio Raheem | HATE brass knuckles via predicate surface "hasProp" ⓘ |
|
Chebyshev distance (L-infinity metric)
surface form:
Chebyshev distance
|
non-negativity via predicate surface "satisfiesProperty" ⓘ |
|
Chebyshev distance (L-infinity metric)
surface form:
Chebyshev distance
|
identity of indiscernibles via predicate surface "satisfiesProperty" ⓘ |
|
Chebyshev distance (L-infinity metric)
surface form:
Chebyshev distance
|
symmetry via predicate surface "satisfiesProperty" ⓘ |
|
Chebyshev distance (L-infinity metric)
surface form:
Chebyshev distance
|
triangle inequality via predicate surface "satisfiesProperty" ⓘ |
| Fenton Meiks | basement where he is locked by his father via predicate surface "hasKeyProp" ⓘ |
| Jacobi manifold | bilinearity of the bracket via predicate surface "satisfiesProperty" ⓘ |
| Jacobi manifold | antisymmetry of the bracket via predicate surface "satisfiesProperty" ⓘ |
| Jacobi manifold | Jacobi identity for the bracket via predicate surface "satisfiesProperty" ⓘ |