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 |
|---|---|
| Major Archbishop of Hajdúdorog | patriarch (in canon law status, except for title) via predicate surface "equivalentRankTo" ⓘ |
| SS-Scharführer | sergeant via predicate surface "equivalentRank" ⓘ |
| Ivana | Joan via predicate surface "equivalentName" ⓘ |
| Ivana | Jane via predicate surface "equivalentName" ⓘ |
| Ivana | Johanna via predicate surface "equivalentName" ⓘ |
| Ivana | Ioanna via predicate surface "equivalentName" ⓘ |
|
Amazigh New Year (Yennayer)
surface form:
Amazigh New Year
|
January 12 via predicate surface "correspondsTo" ⓘ |
|
Amazigh New Year (Yennayer)
surface form:
Amazigh New Year
|
January 13 via predicate surface "correspondsTo" ⓘ |
|
Amazigh New Year (Yennayer)
surface form:
Amazigh New Year
|
January 14 via predicate surface "correspondsTo" ⓘ |
| prime number theorem | ψ(x) ~ x ⓘ |
| Henstock–Kurzweil integral | Denjoy integral for functions with certain regularity conditions via predicate surface "isEquivalentTo" ⓘ |
| Koebe quarter theorem | statement about covering properties of schlicht functions via predicate surface "isEquivalentTo" ⓘ |
|
prophetess Anna, daughter of Phanuel
surface form:
Anna
|
Hannah via predicate surface "equivalentName" ⓘ |
| MacSeóin | Jones via predicate surface "correspondsTo" ⓘ |
| Noémie | Naomi via predicate surface "equivalentForm" ⓘ |
| Hurwitz bound on automorphism groups of curves | If G is a finite group of automorphisms of a compact Riemann surface of genus g ≥ 2, then |G| ≤ 84(g − 1) via predicate surface "equivalentFormulation" ⓘ |
| Early Miocene | Lower Miocene in European stratigraphy via predicate surface "correspondsTo" ⓘ |
| Dom | Spanish honorific "Don" via predicate surface "correspondsTo" ⓘ |
| Dom | Italian honorific "Don" via predicate surface "correspondsTo" ⓘ |
| Little Jerusalem |
Little Jerusalem
via predicate surface "equivalentName"
self-linksurface differs
ⓘ
surface form:
Piccola Gerusalemme
|
| Milnor number | number of n-dimensional vanishing cycles in the Milnor fiber via predicate surface "equals" ⓘ |
| Milnor number | rank of the middle homology of the Milnor fiber via predicate surface "equals" ⓘ |
| Swedish–Norwegian krone |
Danish krone
via predicate surface "equalTo"
ⓘ
surface form:
Danish krone (under the Scandinavian Monetary Union)
|
| Lieutenant General (Imperial Japanese Army) | Lieutenant General (Imperial Japanese Navy) via predicate surface "equivalentRank" ⓘ |
| Lieutenant General (Imperial Japanese Army) |
Lieutenant General in the United States Army
via predicate surface "equivalentRank"
ⓘ
surface form:
Lieutenant General (United States Army)
|
| Lieutenant General (Imperial Japanese Army) | Generalleutnant (German Army) via predicate surface "equivalentRank" ⓘ |
| Lieutenant General (Imperial Japanese Army) | Lieutenant General (British Army) via predicate surface "equivalentRank" ⓘ |
| Vice Admiral (United States Navy) |
Lieutenant General in the United States Army
via predicate surface "equivalentRank"
ⓘ
surface form:
Lieutenant General (United States Army)
|
| Vice Admiral (United States Navy) |
United States Marine Corps general
via predicate surface "equivalentRank"
ⓘ
surface form:
Lieutenant General (United States Marine Corps)
|
| Vice Admiral (United States Navy) | Lieutenant General (United States Air Force) via predicate surface "equivalentRank" ⓘ |
| Vice Admiral (United States Navy) | Lieutenant General (United States Space Force) via predicate surface "equivalentRank" ⓘ |
| Vice Admiral (United States Navy) | Lieutenant General (United States Coast Guard) via predicate surface "equivalentRank" ⓘ |
| General (Imperial Japanese Army) | full general via predicate surface "equivalentRank" ⓘ |
| General (Imperial Japanese Army) | O-10 rank (NATO code, approximate) via predicate surface "equivalentRank" ⓘ |
|
Gensui (元帥)
surface form:
Gensui
|
field marshal ⓘ |
|
Gensui (元帥)
surface form:
Gensui
|
five-star rank ⓘ |
| Ra-Horakhty | Helios via predicate surface "equatedWith" ⓘ |
| Ra-Horakhty | Sol via predicate surface "equatedWith" ⓘ |
| Dame Commander of the Order of the British Empire | Knight Commander of the Order of the British Empire via predicate surface "equivalentTitle" ⓘ |
| Virgin most faithful | Virgo fidelissima via predicate surface "correspondsTo" ⓘ |
| Carnot efficiency | efficiency of reversible engine between same temperatures via predicate surface "equals" ⓘ |
| SS-Hauptsturmführer | Heer Hauptmann via predicate surface "equivalentRank" ⓘ |
| SS-Hauptsturmführer | army captain via predicate surface "equivalentRank" ⓘ |
| Teodor | Theodore via predicate surface "correspondsTo" ⓘ |
| Teodoro | Theodore via predicate surface "correspondsTo" ⓘ |
| Crotona | ancient city of Croton via predicate surface "correspondsTo" ⓘ |
| Riccardo | Richard via predicate surface "equivalentFormInEnglish" ⓘ |
| Paramount Plaza complex |
Paramount Plaza complex
via predicate surface "sameAs"
self-linksurface differs
ⓘ
surface form:
Paramount Plaza
|
| Queen of Württemberg | Queen consort via predicate surface "equivalentTitle" ⓘ |
| Ilija | Elijah via predicate surface "equivalentName" ⓘ |