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 |
|---|---|
| Naïve art | simplified forms via predicate surface "hasStyleProperty" ⓘ |
| Naïve art | flattened perspective via predicate surface "hasStyleProperty" ⓘ |
| Naïve art | lack of realistic depth via predicate surface "hasStyleProperty" ⓘ |
| Naïve art | strong outlines via predicate surface "hasStyleProperty" ⓘ |
| Naïve art | decorative patterns via predicate surface "hasStyleProperty" ⓘ |
| Naïve art | narrative scenes via predicate surface "hasStyleProperty" ⓘ |
| Naïve art | emphasis on emotion over realism via predicate surface "hasStyleProperty" ⓘ |
| Whitney sum | rank(E ⊕ F) = rank(E) + rank(F) via predicate surface "satisfiesProperty" ⓘ |
| Whitney sum | c(E ⊕ F) = c(E) ∪ c(F) for total Chern classes via predicate surface "satisfiesProperty" ⓘ |
| Whitney sum | w(E ⊕ F) = w(E) ∪ w(F) for Stiefel–Whitney classes via predicate surface "satisfiesProperty" ⓘ |
| Whitney sum | p(E ⊕ F) = p(E) ∪ p(F) for Pontryagin classes via predicate surface "satisfiesProperty" ⓘ |
| The Wall | ancient protective spells via predicate surface "hasMagicalProperty" ⓘ |
|
Timet (Titanium Metals Corporation)
surface form:
Timet
|
high strength-to-weight ratio products via predicate surface "hasKeyMaterialProperty" ⓘ |
|
Timet (Titanium Metals Corporation)
surface form:
Timet
|
corrosion-resistant titanium products via predicate surface "hasKeyMaterialProperty" ⓘ |
|
Timet (Titanium Metals Corporation)
surface form:
Timet
|
high-temperature titanium alloys via predicate surface "hasKeyMaterialProperty" ⓘ |
| Uyghur Cyrillic alphabet | case distinction via predicate surface "hasScriptProperty" ⓘ |
| Uyghur Cyrillic alphabet | uppercase letters via predicate surface "hasScriptProperty" ⓘ |
| Uyghur Cyrillic alphabet | lowercase letters via predicate surface "hasScriptProperty" ⓘ |
| Nedmag | high MgCl2 purity via predicate surface "hasKeyMaterialProperty" ⓘ |
| Deutsch–Jozsa algorithm | constant or balanced via predicate surface "oraclePropertyTested" ⓘ |
| F.R.I.D.A.Y. | Tony Stark via predicate surface "propertyOf" ⓘ |
| F.R.I.D.A.Y. | Stark Industries via predicate surface "propertyOf" ⓘ |
| United States Census Bureau-designated Maine counties | name via predicate surface "haveAttribute" ⓘ |
| United States Census Bureau-designated Maine counties | FIPS code via predicate surface "haveAttribute" ⓘ |
| United States Census Bureau-designated Maine counties | land area via predicate surface "haveAttribute" ⓘ |
| United States Census Bureau-designated Maine counties | water area via predicate surface "haveAttribute" ⓘ |
| United States Census Bureau-designated Maine counties | population via predicate surface "haveAttribute" ⓘ |
| United States Census Bureau-designated Maine counties | population density via predicate surface "haveAttribute" ⓘ |
| Bilröst | three-colored via predicate surface "hasStructuralProperty" ⓘ |
| Bilröst | burning via predicate surface "hasStructuralProperty" ⓘ |
| Bilröst | trembling via predicate surface "hasStructuralProperty" ⓘ |
|
Byzantium starship
surface form:
Byzantium
|
cannot be destroyed by conventional weapons via predicate surface "hasHullProperty" ⓘ |
| CBS Enterprises |
CBS television network
via predicate surface "handledProperty"
ⓘ
surface form:
CBS prime‑time series
|
| CBS Enterprises | CBS daytime series via predicate surface "handledProperty" ⓘ |
| CBS Enterprises | CBS late‑night series via predicate surface "handledProperty" ⓘ |
| CBS Enterprises | CBS library programming via predicate surface "handledProperty" ⓘ |
| The Gun in Betty Lou’s Handbag | handgun via predicate surface "hasProp" ⓘ |
| Turritopsis dohrnii | cosmopolitan distribution via predicate surface "hasDistributionProperty" ⓘ |
| The Exploding Penguin | television set via predicate surface "hasProp" ⓘ |
| The Exploding Penguin | toy penguin via predicate surface "hasProp" ⓘ |
| CJK Unified Ideographs | Han via predicate surface "hasScriptProperty" ⓘ |
| Schauder basis | unconditionality via predicate surface "mayHaveProperty" ⓘ |
| Schauder basis | conditionality via predicate surface "mayHaveProperty" ⓘ |
| ST_Within | one geometry is completely inside another geometry via predicate surface "testsProperty" ⓘ |
| ST_Within | boundary of inner geometry does not intersect exterior of outer geometry via predicate surface "testsProperty" ⓘ |
| ST_Within | no points of inner geometry lie in exterior of outer geometry via predicate surface "testsProperty" ⓘ |
| UInt | bitWidth via predicate surface "hasStaticProperty" ⓘ |
| UInt | max via predicate surface "hasStaticProperty" ⓘ |
| UInt | min via predicate surface "hasStaticProperty" ⓘ |
| Hecke operators | mutually commute ⓘ |