equivalentTo
P6530
predicate
Indicates that two entities represent the same concept, value, or state, and can be treated as interchangeable in the given context.
All labels observed (80)
| Label | Occurrences |
|---|---|
| equivalentTo canonical | 666 |
| correspondsTo | 480 |
| equivalentRank | 354 |
| equatedWith | 230 |
| sameAs | 143 |
| equivalentTitle | 129 |
| equivalentName | 127 |
| equivalentForm | 117 |
| equivalentFormOf | 61 |
| equivalentFormInEnglish | 40 |
| isEquivalentTo | 39 |
| equals | 26 |
| saidToBeSameAs | 22 |
| equates | 19 |
| equivalentFormulation | 16 |
| equivalentRankTo | 16 |
| coequals | 13 |
| equivalenceRelation | 11 |
| possibleEquivalent | 11 |
| sometimesEquatedWith | 11 |
| possiblyIdenticalTo | 9 |
| coextensiveWith | 8 |
| equalTo | 8 |
| equivalentTerm | 8 |
| hasEquivalentForm | 8 |
| isEquivalentFormOf | 8 |
| equivalentExpression | 7 |
| mathematicallyEquivalentTo | 7 |
| coEqualWith | 4 |
| equivalenceBetween | 4 |
| equivalentOrSimilarTo | 4 |
| sameLevelAs | 4 |
| usedInterchangeablyWith | 4 |
| demonstratesEquivalenceOf | 3 |
| equivalentlyStates | 3 |
| hasEquivalence | 3 |
| consideredEquivalentTo | 2 |
| equivalentPass | 2 |
| equivalentToCulture | 2 |
| formalEquivalent | 2 |
| hasEquivalentDefinition | 2 |
| isClassicallyEquivalentTo | 2 |
| isConsideredEquivalentTo | 2 |
| isDeFactoEquivalentOf | 2 |
| isEquivalentToInClassicalLogic | 2 |
| isIdenticalTo | 2 |
| saidToBeEquivalentTo | 2 |
| termCorrespondsTo | 2 |
| yieldTNTEquivalent | 2 |
| IMOEquivalent | 1 |
| IPAEquivalent | 1 |
| PDOEquivalent | 1 |
| SIEquivalent | 1 |
| USequivalent | 1 |
| basicallySameAs | 1 |
| equalsOneMeaning | 1 |
| equatedTo | 1 |
| equivaleA | 1 |
| equivalence | 1 |
| equivalentClass | 1 |
| equivalentConceptInJudaism | 1 |
| equivalentDescription | 1 |
| equivalentDesignation | 1 |
| equivalentFullNameRelation | 1 |
| equivalentInAstronomy | 1 |
| equivalentInJapan | 1 |
| equivalentProperty | 1 |
| equivalentTitleDescription | 1 |
| equivalentToQuestion | 1 |
| equivalenteA | 1 |
| firstOrderTermEquivalentTo | 1 |
| hasConceptualEquivalent | 1 |
| isCoExtensiveWith | 1 |
| isEqualTo | 1 |
| isMathematicallyEquivalentTo | 1 |
| nerveAgentSameAs | 1 |
| provableEquivalence | 1 |
| replacesOrEquivalentTo | 1 |
| semanticEquivalent | 1 |
| shownEquivalentTo | 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: equivalentTo
Generated description
Indicates that two entities represent the same concept, value, or state, and can be treated as interchangeable in the given context.
Sample triples (2,680)
| Subject | Object |
|---|---|
| Riemann hypothesis | statements about the size of the Chebyshev functions ⓘ |
| Riemann integral | Darboux integral for bounded functions on closed intervals ⓘ |
|
Riemann surfaces
surface form:
Riemann surface
|
one-dimensional complex analytic manifold ⓘ |
|
Riemann surfaces
surface form:
Riemann surface
|
one-dimensional complex manifold with holomorphic transition maps ⓘ |
|
Ising models
surface form:
Ising model
|
binary Markov random field ⓘ |
| Pannonia | modern Hungary via predicate surface "correspondsTo" ⓘ |
| Pannonia |
Austria
via predicate surface "correspondsTo"
ⓘ
surface form:
modern Austria
|
| Pannonia | modern Croatia via predicate surface "correspondsTo" ⓘ |
| Pannonia |
Slovenia
via predicate surface "correspondsTo"
ⓘ
surface form:
modern Slovenia
|
| Pannonia | modern Slovakia via predicate surface "correspondsTo" ⓘ |
| Pannonia | modern Serbia via predicate surface "correspondsTo" ⓘ |
| Pannonia | modern Bosnia and Herzegovina via predicate surface "correspondsTo" ⓘ |
| Pannonia | modern Romania via predicate surface "correspondsTo" ⓘ |
| Kolmogorov backward equation | backward Fokker–Planck equation ⓘ |
| DCMG | KCMG via predicate surface "equivalentTitle" ⓘ |
| DCMG | Knight Commander of the Order of St Michael and St George via predicate surface "equivalentTitleDescription" ⓘ |
|
GST
surface form:
TPS (Canada)
|
GST
self-linksurface differs
ⓘ
surface form:
GST (Canada)
|
| Vice Admiral (Imperial Japanese Navy) | Lieutenant General (Imperial Japanese Army) ⓘ |
| Vice Admiral (Imperial Japanese Navy) | Vice Admiral (Royal Navy) ⓘ |
| Vice Admiral (Imperial Japanese Navy) | Vice Admiral (United States Navy) ⓘ |
| Andriy | Andrew ⓘ |
| Wilhelm | William via predicate surface "equivalentForm" ⓘ |
| Wilhelm | Guillaume via predicate surface "equivalentForm" ⓘ |
| Wilhelm | Guglielmo via predicate surface "equivalentForm" ⓘ |
| Wilhelm | Guillermo via predicate surface "equivalentForm" ⓘ |
| Wilhelm | Willem via predicate surface "equivalentForm" ⓘ |
| His Imperial Majesty | Her Imperial Majesty via predicate surface "correspondsTo" ⓘ |
| Georg | George via predicate surface "equivalentForm" ⓘ |
| Georg | Jürgen via predicate surface "equivalentForm" ⓘ |
| Georg | Jorge via predicate surface "equivalentForm" ⓘ |
| Olodumare |
Olodumare
via predicate surface "equivalentName"
self-linksurface differs
ⓘ
surface form:
Olorun
|
| Olodumare | Eledumare via predicate surface "equivalentName" ⓘ |
| Antonio | Anthony via predicate surface "equivalentForm" ⓘ |
| Antonio | Antonius via predicate surface "equivalentForm" ⓘ |
| Antonio | António via predicate surface "equivalentForm" ⓘ |
| Antonio |
António
via predicate surface "equivalentForm"
ⓘ
surface form:
Antônio
|
| Guanyin |
Guanyin
self-linksurface differs
ⓘ
surface form:
Avalokiteśvara
|
| Lieutenant General (Confederate States Army) |
Lieutenant General in the United States Army
via predicate surface "equivalentRank"
ⓘ
surface form:
Lieutenant General (United States Army)
|
| חַוָּה | Eve via predicate surface "correspondsTo" ⓘ |
| חַוָּה | Eve via predicate surface "equivalentName" ⓘ |
| Euler’s polyhedron formula | Euler’s formula for connected planar graphs V − E + F = 2 via predicate surface "correspondsTo" ⓘ |
| Gábor | Gabriel via predicate surface "equivalentFormOf" ⓘ |
| sentimo | one-hundredth of a Philippine peso ⓘ |
| Alexey |
Alexey
via predicate surface "correspondsTo"
self-linksurface differs
ⓘ
surface form:
Алексей
|
| Copa Sudamericana | UEFA Europa League ⓘ |
| Reichsführer-SS | Generaloberst (approximate) via predicate surface "equivalentRank" ⓘ |
| Fleet Admiral (United States Navy) | General of the Army (United States) via predicate surface "equivalentRank" ⓘ |
| Fleet Admiral (United States Navy) |
General of the Air Force
via predicate surface "equivalentRank"
ⓘ
surface form:
General of the Air Force (United States)
|
| Rear Admiral (Imperial Japanese Navy) |
United States Navy rear admiral
via predicate surface "equivalentRank"
ⓘ
surface form:
Rear Admiral (United States Navy)
|
| Rear Admiral (Imperial Japanese Navy) | Rear Admiral (Royal Navy) via predicate surface "equivalentRank" ⓘ |