haveProperty

P23698

predicate

Indicates that an entity possesses, exhibits, or is characterized by a particular property or attribute.

Try in SPARQL

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
Sentence_Break	LF via predicate surface "hasPropertyValue" ⓘ
Sentence_Break	Lower via predicate surface "hasPropertyValue" ⓘ
Sentence_Break	Numeric via predicate surface "hasPropertyValue" ⓘ
Sentence_Break	OLetter via predicate surface "hasPropertyValue" ⓘ
Sentence_Break	SContinue via predicate surface "hasPropertyValue" ⓘ
Sentence_Break	Sep via predicate surface "hasPropertyValue" ⓘ
Sentence_Break	Sp via predicate surface "hasPropertyValue" ⓘ
Sentence_Break	STerm via predicate surface "hasPropertyValue" ⓘ
Sentence_Break	Upper via predicate surface "hasPropertyValue" ⓘ
Sentence_Break	Other via predicate surface "hasPropertyValue" ⓘ
Normalization_Quick_Check	Yes via predicate surface "hasPropertyValue" ⓘ
Normalization_Quick_Check	No via predicate surface "hasPropertyValue" ⓘ
Normalization_Quick_Check	Maybe via predicate surface "hasPropertyValue" ⓘ
OWL 2 RL	tractable reasoning via predicate surface "hasComputationalProperty" ⓘ
OWL 2 RL	PTIME data complexity via predicate surface "hasComputationalProperty" ⓘ
baryon decuplet	members are resonances with relatively short lifetimes via predicate surface "hasMemberProperty" ⓘ
baryon decuplet	members decay via strong interaction via predicate surface "hasMemberProperty" ⓘ
Borda count	Pareto efficiency via predicate surface "satisfiesProperty" ⓘ
Borda count	consistency with majority judgment in some settings via predicate surface "satisfiesProperty" ⓘ
Borda count	neutrality among candidates via predicate surface "satisfiesProperty" ⓘ
Borda count	anonymity among voters via predicate surface "satisfiesProperty" ⓘ
Borda count	reinforcement (under some formulations) via predicate surface "satisfiesProperty" ⓘ
Borda count	continuity via predicate surface "satisfiesProperty" ⓘ
Kepler–Poinsot polyhedra	faces are regular polygons ⓘ
Kepler–Poinsot polyhedra	vertex figures are regular ⓘ
Kepler–Poinsot polyhedra	edge-transitive ⓘ
Kepler–Poinsot polyhedra	face-transitive ⓘ
Kepler–Poinsot polyhedra	vertex-transitive ⓘ
Dirac delta function	∫_{-∞}^{∞} δ(x) φ(x) dx = φ(0) for test functions φ via predicate surface "definingProperty" ⓘ
Dirac delta function	∫_{-∞}^{∞} δ(x-a) φ(x) dx = φ(a) via predicate surface "definingProperty" ⓘ
1961 film The Pit and the Pendulum surface form: The Pit and the Pendulum (1961 film)	pendulum torture device via predicate surface "hasProp" ⓘ
1961 film The Pit and the Pendulum surface form: The Pit and the Pendulum (1961 film)	pit via predicate surface "hasProp" ⓘ
Gongman	large gong via predicate surface "hasProp" ⓘ
Gongman	mallet via predicate surface "hasProp" ⓘ
GATT	permissions via predicate surface "attributeHas" ⓘ
Hasse–Weil zeta function	meromorphic continuation to the whole complex plane via predicate surface "hasConjecturedProperty" ⓘ
Hasse–Weil zeta function	satisfies a functional equation relating s and 1 − s up to normalization via predicate surface "hasConjecturedProperty" ⓘ
neutrino hypothesis	electrically neutral via predicate surface "assumesProperty" ⓘ
neutrino hypothesis	very small mass via predicate surface "assumesProperty" ⓘ
neutrino hypothesis	weakly interacting via predicate surface "assumesProperty" ⓘ
neutrino hypothesis	conservation of energy in beta decay via predicate surface "assumesProperty" ⓘ
neutrino hypothesis	conservation of momentum in beta decay via predicate surface "assumesProperty" ⓘ
neutrino hypothesis	conservation of angular momentum in beta decay via predicate surface "assumesProperty" ⓘ
Festivus	unadorned aluminum pole instead of tree via predicate surface "hasObjectProperty" ⓘ
Weil pairing	e_n(P+P',Q)=e_n(P,Q)·e_n(P',Q) via predicate surface "satisfiesProperty" ⓘ
Weil pairing	e_n(P,Q+Q')=e_n(P,Q)·e_n(P,Q') via predicate surface "satisfiesProperty" ⓘ
Weil pairing	e_n(P,P)=1 for all P in E[n] via predicate surface "satisfiesProperty" ⓘ
Weil pairing	e_n(P,Q)=e_n(Q,P)^{-1} via predicate surface "satisfiesProperty" ⓘ
Weil pairing	e_n(kP,Q)=e_n(P,Q)^k via predicate surface "satisfiesProperty" ⓘ
Weil pairing	e_n(P,kQ)=e_n(P,Q)^k via predicate surface "satisfiesProperty" ⓘ