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 |
|---|---|
| type-I superconductors | zero electrical resistivity in the superconducting state ⓘ |
| type-I superconductors | perfect diamagnetism in the superconducting state ⓘ |
| type-I superconductors | relatively low critical temperatures compared to many type-II superconductors ⓘ |
| type-I superconductors | relatively low critical magnetic fields ⓘ |
| type-I superconductors | macroscopic quantum coherence below Tc ⓘ |
| type-I superconductors | surface energy between normal and superconducting phases is positive ⓘ |
| Chicago community areas | boundaries change infrequently ⓘ |
| Chicago community areas | cover entire land area of Chicago ⓘ |
| Chicago community areas | non-overlapping boundaries ⓘ |
| Kerr–Schild coordinates | l_{μ} is null with respect to η_{μν} via predicate surface "nullVectorProperty" ⓘ |
| Kerr–Schild coordinates | l_{μ} is null with respect to g_{μν} via predicate surface "nullVectorProperty" ⓘ |
| Haumea family | tight clustering in orbital element space via predicate surface "hasDynamicalProperty" ⓘ |
| Hertzian waves | transverse nature ⓘ |
| Hertzian waves | finite propagation speed ⓘ |
| Hertzian waves | reflection ⓘ |
| Hertzian waves | refraction ⓘ |
| Hertzian waves | polarization ⓘ |
| Hertzian waves | interference ⓘ |
| Hertzian waves | diffraction ⓘ |
| Deianira | blood of Nessus as poison via predicate surface "actuallyPropertyOfObject" ⓘ |
| Happy Days | toothbrush via predicate surface "hasProp" ⓘ |
| Happy Days | revolver via predicate surface "hasProp" ⓘ |
| Happy Days | parasol via predicate surface "hasProp" ⓘ |
| Happy Days | bag via predicate surface "hasProp" ⓘ |
| Weyl algebra | Auslander regular via predicate surface "satisfiesProperty" ⓘ |
| Weyl algebra | homologically smooth via predicate surface "satisfiesProperty" ⓘ |
| Blum–Blum–Shub pseudorandom number generator | next-bit test hardness equivalent to factoring n via predicate surface "provableProperty" ⓘ |
| Euclidean metric | non-negativity via predicate surface "satisfiesProperty" ⓘ |
| Euclidean metric | identity of indiscernibles via predicate surface "satisfiesProperty" ⓘ |
| Euclidean metric | symmetry via predicate surface "satisfiesProperty" ⓘ |
| Euclidean metric | triangle inequality via predicate surface "satisfiesProperty" ⓘ |
| Cartan decomposition | existence of a Cartan involution via predicate surface "assumesProperty" ⓘ |
| The Black Sleep | mysterious anesthetic drug via predicate surface "hasProp" ⓘ |
| West Greenland Current | heat via predicate surface "carriesProperty" ⓘ |
| West Greenland Current | salt via predicate surface "carriesProperty" ⓘ |
|
Cathedral Cave
surface form:
Cathedral Cave (Isle of Eigg)
|
echoing acoustics via predicate surface "hasNaturalProperty" ⓘ |
|
Cathedral Cave
surface form:
Cathedral Cave (Isle of Eigg)
|
cathedral-like interior via predicate surface "hasNaturalProperty" ⓘ |
|
Cathedral Cave
surface form:
Cathedral Cave (Isle of Eigg)
|
large entrance via predicate surface "hasNaturalProperty" ⓘ |
|
Cathedral Cave
surface form:
Cathedral Cave (Isle of Eigg)
|
vaulted roof via predicate surface "hasNaturalProperty" ⓘ |
|
Cathedral Cave
surface form:
Cathedral Cave (Isle of Eigg)
|
sea-worn floor via predicate surface "hasNaturalProperty" ⓘ |
| Cyrillic Extended-A | Cyrillic via predicate surface "hasScriptProperty" ⓘ |
| Hangul Jamo Extended-A | Hangul via predicate surface "hasScriptProperty" ⓘ |
| time crystals | long-range temporal order ⓘ |
| time crystals | robust subharmonic response to periodic driving ⓘ |
| time crystals | rigid oscillation frequency locked to a fraction of the drive frequency ⓘ |
| Sentence_Break | ATerm via predicate surface "hasPropertyValue" ⓘ |
| Sentence_Break | Close via predicate surface "hasPropertyValue" ⓘ |
| Sentence_Break | CR via predicate surface "hasPropertyValue" ⓘ |
| Sentence_Break | Extend via predicate surface "hasPropertyValue" ⓘ |
| Sentence_Break | Format via predicate surface "hasPropertyValue" ⓘ |