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 |
|---|---|
| Kronecker–Weber theorem | statement that every finite abelian extension of Q has conductor n for some n and is contained in Q(ζ_n) ⓘ |
|
Crane
surface form:
Harold Hart Crane
|
Hart Crane via predicate surface "sameAs" ⓘ |
| Loop I superbubble | North Polar Spur via predicate surface "possiblyIdenticalTo" ⓘ |
| Zodiac | twelve zodiacal constellations via predicate surface "correspondsTo" ⓘ |
| Ishaq | Isaac via predicate surface "equivalentFormOf" ⓘ |
| Basic Law V | extensions of coextensive concepts via predicate surface "equates" ⓘ |
| Basic Law V | extensions of concepts with identical truth conditions via predicate surface "equates" ⓘ |
| Hume’s Principle (derivable, not postulated) | numerical identity with existence of a bijection via predicate surface "equates" ⓘ |
| Odishi | Samegrelo via predicate surface "correspondsTo" ⓘ |
| Maresciallo d'Italia | field marshal via predicate surface "equivalentRank" ⓘ |
| Maresciallo d'Italia | marshal of the empire via predicate surface "equivalentRank" ⓘ |
| Großadmiral | fleet admiral via predicate surface "equivalentRank" ⓘ |
| Großadmiral | admiral of the fleet via predicate surface "equivalentRank" ⓘ |
| Marcelo | Marcello via predicate surface "equivalentForm" ⓘ |
| Marcelo |
Marcelo
via predicate surface "equivalentForm"
self-linksurface differs
ⓘ
surface form:
Marcelo (Spanish form of Marcellus)
|
| Marcelo | Marcelo (Portuguese form of Marcellus) via predicate surface "equivalentForm" ⓘ |
| General of the Air Force | General of the Army via predicate surface "equivalentRank" ⓘ |
| General of the Air Force |
Fleet Admiral (United States Navy)
via predicate surface "equivalentRank"
ⓘ
surface form:
Fleet Admiral
|
| Viscountess Pitt | Viscount Pitt via predicate surface "correspondsTo" ⓘ |
| Faunus | Pan ⓘ |
| Faunus |
Pan (Greek god)
ⓘ
surface form:
Greek god Pan
|
| Attorney General of Minnesota | Governor of Minnesota via predicate surface "coequals" ⓘ |
| Attorney General of Minnesota | Secretary of State of Minnesota via predicate surface "coequals" ⓘ |
| Attorney General of Minnesota | State Auditor of Minnesota via predicate surface "coequals" ⓘ |
| Deputy Prime Minister of Ukraine | vice prime minister of Ukraine via predicate surface "isEquivalentTo" ⓘ |
|
SAPPER
surface form:
Sapper
|
Private (in some engineer units) ⓘ |
| The Wee County |
The Wee County
via predicate surface "sameAs"
self-linksurface differs
ⓘ
surface form:
"Wee County" (without definite article)
|
| Íñigo |
Ignatius of Antioch
via predicate surface "equivalentName"
ⓘ
surface form:
Ignatius
|
| Íñigo | Ignacio via predicate surface "equivalentName" ⓘ |
| Marija | Maria via predicate surface "equivalentFormOf" ⓘ |
| Marija | Mary via predicate surface "equivalentFormOf" ⓘ |
| Atzilut | Sefirot in their unified state via predicate surface "correspondsTo" ⓘ |
| Atzilut |
Names of God in Judaism
via predicate surface "correspondsTo"
ⓘ
surface form:
Divine Names
|
| Atzilut | world of causes via predicate surface "correspondsTo" ⓘ |
| Juan | John via predicate surface "equivalentName" ⓘ |
| Yunus |
Prophet Yunus
via predicate surface "equivalentName"
ⓘ
surface form:
Jonah
|
| Yunus | Jonas via predicate surface "equivalentName" ⓘ |
| Yetzirah | world of angels via predicate surface "correspondsTo" ⓘ |
| Yetzirah | world of formation via predicate surface "correspondsTo" ⓘ |
| Rahlfs 911 | Codex Alexandrinus via predicate surface "sameAs" ⓘ |
| Deuterocanonical books |
Book of Sirach
via predicate surface "sameAs"
ⓘ
surface form:
Sirach
|
| Keter | divine will via predicate surface "correspondsTo" ⓘ |
| Keter | superconscious mind via predicate surface "correspondsTo" ⓘ |
| Keter | the highest spiritual world via predicate surface "correspondsTo" ⓘ |
| Middle Pillar | central column of the human body via predicate surface "correspondsTo" ⓘ |
| Middle Pillar | spinal axis via predicate surface "correspondsTo" ⓘ |
| Middle Pillar | central channel of subtle energy via predicate surface "correspondsTo" ⓘ |
| Maria Paola | Marie Pauline via predicate surface "equivalentFormOf" ⓘ |
| Λητώ | Leto ⓘ |
| Brigadier General | Rear Admiral (lower half) via predicate surface "equivalentRank" ⓘ |