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 |
|---|---|
| Banda Oriental | present-day Uruguay via predicate surface "correspondsTo" ⓘ |
| Karel | Charles via predicate surface "correspondsTo" ⓘ |
| Lieutenant (Australian Army) | Lieutenant (Royal Australian Navy) via predicate surface "equivalentRank" ⓘ |
| Lieutenant (Australian Army) | Flying Officer (Royal Australian Air Force) via predicate surface "equivalentRank" ⓘ |
|
Cabinet Secretaries
surface form:
Cabinet Secretaries (Scottish Government)
|
UK Government Secretaries of State (approximate functional analogue) ⓘ |
| Captain General | commander-in-chief ⓘ |
| Captain General | governor-general in some territories ⓘ |
|
Parks
surface form:
Rosa Louise McCauley Parks
|
Rosa Parks via predicate surface "sameAs" ⓘ |
| Shahanshah of Persia | Emperor via predicate surface "equivalentTitle" ⓘ |
| Helheim |
Niflheim
via predicate surface "sometimesEquatedWith"
ⓘ
surface form:
Niflhel
|
| Carlo | Charles via predicate surface "equivalentFormOf" ⓘ |
| Guilherme | William via predicate surface "equivalentFormOf" ⓘ |
| Freiherr | baron ⓘ |
| Kurfürsten |
Prince-electors of the Holy Roman Empire
via predicate surface "equivalentName"
ⓘ
surface form:
Prince-electors
|
| Kurfürsten |
Prince-electors of the Holy Roman Empire
via predicate surface "equivalentName"
ⓘ
surface form:
Electors of the Holy Roman Empire
|
| Nicolás | Nicholas via predicate surface "hasEquivalentForm" ⓘ |
| Nicolás |
Nicholas
via predicate surface "hasEquivalentForm"
ⓘ
surface form:
Nicolas
|
| Nicolás | Nicolae via predicate surface "hasEquivalentForm" ⓘ |
| Nicolás |
Nikolay
via predicate surface "hasEquivalentForm"
ⓘ
surface form:
Nikolai
|
| Nicolás | Niccolò via predicate surface "hasEquivalentForm" ⓘ |
| Nicolás | Nicolau via predicate surface "hasEquivalentForm" ⓘ |
|
Lieutenant General in the United States Army
surface form:
Lieutenant General (United States Army)
|
Vice Admiral (United States Navy) via predicate surface "equivalentRank" ⓘ |
|
Lieutenant General in the United States Army
surface form:
Lieutenant General (United States Army)
|
Lieutenant General (United States Air Force) via predicate surface "equivalentRank" ⓘ |
|
Lieutenant General in the United States Army
surface form:
Lieutenant General (United States Army)
|
Lieutenant General (United States Marine Corps) via predicate surface "equivalentRank" ⓘ |
|
Lieutenant General in the United States Army
surface form:
Lieutenant General (United States Army)
|
Lieutenant General (United States Space Force) via predicate surface "equivalentRank" ⓘ |
| Saros cycle | 223 synodic months via predicate surface "equals" ⓘ |
| Saros cycle | 242 draconic months via predicate surface "equals" ⓘ |
| Saros cycle | 239 anomalistic months via predicate surface "equals" ⓘ |
| SS-Standartenführer | colonel ⓘ |
| SS-Standartenführer | Oberst ⓘ |
| President of the House of Representatives of Puerto Rico | Speaker of the House in other legislative systems ⓘ |
| SS-Brigadeführer | brigadier general ⓘ |
| SS-Brigadeführer | one-star general ⓘ |
| Musa | Moses ⓘ |
| Euphrátēs |
Euphrates
via predicate surface "correspondsTo"
ⓘ
surface form:
Euphrates River
|
| Common Era | Anno Domini era via predicate surface "correspondsTo" ⓘ |
| Common Era | AD via predicate surface "correspondsTo" ⓘ |
| Chairman of the Cabinet of Ministers of Kyrgyzstan |
Chairman of the Cabinet of Ministers of Kyrgyzstan
self-linksurface differs
ⓘ
surface form:
Prime Minister of Kyrgyzstan
|
| Under-Secretary-General of the United Nations | cabinet-level official in many national governments via predicate surface "equivalentRankTo" ⓘ |
| axiom of choice |
axiom of choice
self-linksurface differs
ⓘ
surface form:
well-ordering theorem
|
| axiom of choice |
axiom of choice
self-linksurface differs
ⓘ
surface form:
Zorn's lemma
|
| axiom of choice | Tychonoff theorem for products of compact spaces ⓘ |
| axiom of choice | every vector space has a basis ⓘ |
| axiom of choice | every surjective function has a right inverse ⓘ |
| axiom of choice | every set can be written as a disjoint union of choice sets for a partition ⓘ |
| Fermi (unit) | femtometer via predicate surface "SIEquivalent" ⓘ |
| Chancellor Livingston | Chancellor of New York via predicate surface "saidToBeSameAs" ⓘ |
| Liber |
Dionysus
via predicate surface "equatedWith"
ⓘ
surface form:
Greek god Dionysus
|
| Liber | Greek god Iacchus via predicate surface "equatedWith" ⓘ |
| SS-Sturmbannführer | Major (army rank) ⓘ |