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 |
|---|---|
| Utu | Shamash ⓘ |
| Roman Venus (partially) |
Inanna
via predicate surface "correspondsTo"
ⓘ
surface form:
Mesopotamian goddess Inanna
|
| MRAF |
Field Marshal (British Army)
ⓘ
surface form:
Field Marshal
|
| MRAF | Admiral of the Fleet ⓘ |
| MRAF | five-star general ⓘ |
| Aleksandr | Alexander via predicate surface "equivalentFormInEnglish" ⓘ |
| Eirini | Irene via predicate surface "equivalentForm" ⓘ |
| Deng Xiansheng | Deng Xiaoping via predicate surface "sameAs" ⓘ |
| Enki | Ea via predicate surface "equatedWith" ⓘ |
| Marshal of the Royal Canadian Air Force | Marshal of the Royal Air Force ⓘ |
| Marshal of the Royal Canadian Air Force | Field Marshal ⓘ |
| Marshal of the Royal Canadian Air Force |
Admiral of the Fleet of the Royal Navy
ⓘ
surface form:
Admiral of the Fleet
|
| Marshal of the Royal Canadian Air Force | five-star air officer ⓘ |
| Benedetto | Benedict via predicate surface "equivalentForm" ⓘ |
| JEMAD | Chief of Defence Staff ⓘ |
| Landgravine of Hesse-Kassel | Princess consort of Hesse-Kassel via predicate surface "equivalentTitle" ⓘ |
| Our Lady of the Angels |
Our Lady Queen of the Angels
via predicate surface "equivalentTitle"
ⓘ
surface form:
Nuestra Señora de los Ángeles
|
| Our Lady of the Angels | Notre-Dame des Anges via predicate surface "equivalentTitle" ⓘ |
| Our Lady of the Angels | Nossa Senhora dos Anjos via predicate surface "equivalentTitle" ⓘ |
| Pavao | Paul via predicate surface "equivalentName" ⓘ |
| Pavao | Pavel via predicate surface "equivalentName" ⓘ |
| Pavao | Paolo via predicate surface "equivalentName" ⓘ |
| Pavao | Pablo via predicate surface "equivalentName" ⓘ |
| Timotej | Timothy via predicate surface "equivalentFormOf" ⓘ |
| Toomas | Thomas via predicate surface "equivalentFormOf" ⓘ |
| Pádraig | Patrick via predicate surface "equivalentFormOf" ⓘ |
| Rosa |
Linda Christian
via predicate surface "sameAs"
ⓘ
surface form:
Rosa (birth name of Linda Christian)
|
|
chief Vestal (virgo vestalis maxima)
surface form:
virgo vestalis maxima
|
chief Vestal ⓘ |
| Seder plate | ke'arah via predicate surface "equivalentTerm" ⓘ |
| Ninlil | Sud via predicate surface "equatedWith" ⓘ |
| Ninlil | Mullissu via predicate surface "equatedWith" ⓘ |
| Yelena | Helen ⓘ |
| Yelena | Helena ⓘ |
|
municipality of Koekelberg
surface form:
Basilica of the Sacred Heart in Koekelberg
|
National Basilica of the Sacred Heart via predicate surface "sameAs" ⓘ |
| Moesia Inferior | parts of modern Bulgaria via predicate surface "correspondsTo" ⓘ |
| Moesia Inferior | parts of modern Romania via predicate surface "correspondsTo" ⓘ |
| CHOD | Chief of Defence Staff (in other countries, functionally) ⓘ |
| U.S. Navy commanders | U.S. Army lieutenant colonel via predicate surface "equivalentRank" ⓘ |
| U.S. Navy commanders | U.S. Air Force lieutenant colonel via predicate surface "equivalentRank" ⓘ |
| U.S. Navy commanders | U.S. Marine Corps lieutenant colonel via predicate surface "equivalentRank" ⓘ |
| Gregorio | Gregory via predicate surface "equivalentName" ⓘ |
| π-calculus | bisimulation via predicate surface "hasEquivalence" ⓘ |
| π-calculus | barbed bisimulation via predicate surface "hasEquivalence" ⓘ |
| π-calculus | observational equivalence via predicate surface "hasEquivalence" ⓘ |
| Tomasz | Thomas ⓘ |
| Tomasz |
Tomas
ⓘ
surface form:
Tomás
|
| Tomasz | Tomáš ⓘ |
| Tomasz |
Tommaso
ⓘ
surface form:
Tomasso
|
| Tomasz | Tommaso ⓘ |
| Tomasz |
Tomáš
ⓘ
surface form:
Tomášek
|