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 |
|---|---|
| Francesca | Frances in English via predicate surface "equivalentName" ⓘ |
| Francesca | Franziska in German via predicate surface "equivalentName" ⓘ |
| Francesca |
Francisca
via predicate surface "equivalentName"
ⓘ
surface form:
Francisca in Spanish
|
| Francesca | Francisca in Portuguese via predicate surface "equivalentName" ⓘ |
| Yukawa potential | tree-level exchange of a scalar boson via predicate surface "correspondsTo" ⓘ |
| Isa |
Jesus Christ
ⓘ
surface form:
Jesus
|
| Yusuf | Joseph ⓘ |
| New York City Police Commissioner | chief of police in other U.S. cities (functional role) ⓘ |
|
European Union NUTS-2 region NL21
surface form:
NL21
|
Overijssel
via predicate surface "isIdenticalTo"
ⓘ
surface form:
Overijssel (as a territorial unit)
|
| Lebesgue spaces | equality almost everywhere via predicate surface "equivalenceRelation" ⓘ |
| Mach number | sonic condition via predicate surface "equalsOneMeaning" ⓘ |
| Graf (German-speaking countries) | earl via predicate surface "equivalentRank" ⓘ |
| Graf (German-speaking countries) | count via predicate surface "equivalentRank" ⓘ |
| Maréchal de France |
Field Marshal (British Army)
via predicate surface "equivalentRank"
ⓘ
surface form:
Field Marshal (United Kingdom)
|
| Maréchal de France |
Generalfeldmarschall
via predicate surface "equivalentRank"
ⓘ
surface form:
Generalfeldmarschall (Germany)
|
| Maréchal de France | Marechal (Portugal) via predicate surface "equivalentRank" ⓘ |
| Maréchal de France | Marechal (Brazil) via predicate surface "equivalentRank" ⓘ |
| Air War College | other U.S. senior service colleges ⓘ |
| Miguel | Michael via predicate surface "equivalentForm" ⓘ |
| Comte (France) | count ⓘ |
| Conde (Spain, Portugal) | earl ⓘ |
| Conde (Spain, Portugal) | count ⓘ |
| FET | UTC+03:00 via predicate surface "sameAs" ⓘ |
| FET | UTC+3 via predicate surface "sameAs" ⓘ |
| Lono | Rongo in some wider Polynesian comparisons via predicate surface "equatedWith" ⓘ |
| Grothendieck universe | strongly inaccessible cardinal via predicate surface "correspondsTo" ⓘ |
|
Antonovich
surface form:
Ivan VI of Russia
|
Ivan VI of Russia
via predicate surface "sameAs"
ⓘ
surface form:
Ivan VI Antonovich
|
| Eileithyia | Ilithyia via predicate surface "equivalentName" ⓘ |
| Eileithyia | Eleuthia via predicate surface "equivalentName" ⓘ |
| Mikael | Michael ⓘ |
| Shadow Cabinet (United Kingdom) |
British Cabinet
via predicate surface "correspondsTo"
ⓘ
surface form:
Cabinet of the United Kingdom
|
| Eva | Eve ⓘ |
| Dii Consentes | Twelve Olympians ⓘ |
| Field Marshal (British Army) |
Admiral of the Fleet of the Royal Navy
via predicate surface "equivalentRank"
ⓘ
surface form:
Admiral of the Fleet (Royal Navy)
|
| Field Marshal (British Army) | Marshal of the Royal Air Force via predicate surface "equivalentRank" ⓘ |
| Faraday constant | Avogadro constant × elementary charge via predicate surface "isEqualTo" ⓘ |
| completeness theorem for first-order logic | if a formula is not provable then there exists a model in which the formula is false via predicate surface "equivalentlyStates" ⓘ |
| completeness theorem for first-order logic | semantic consequence coincides with syntactic derivability for first-order logic via predicate surface "equivalentlyStates" ⓘ |
| Mandukya Upanishad | Atman with Brahman via predicate surface "equates" ⓘ |
| Klaudija | Claudia via predicate surface "correspondsTo" ⓘ |
| matrix mechanics | wave mechanics via predicate surface "shownEquivalentTo" ⓘ |
| matrix mechanics |
Heisenberg operator formulation of quantum mechanics
via predicate surface "mathematicallyEquivalentTo"
ⓘ
surface form:
Schrödinger formulation of quantum mechanics
|
| Generalleutnant |
Generalleutnant
via predicate surface "equivalentRank"
self-linksurface differs
ⓘ
surface form:
Lieutenant general
|
| Generalleutnant | Major general (historically in some systems) via predicate surface "equivalentRank" ⓘ |
| Marguerite | Margaret ⓘ |
| Tychonic system | Copernican system under certain coordinate transformations via predicate surface "mathematicallyEquivalentTo" ⓘ |
| Baron | Freiherr in German-speaking countries via predicate surface "equivalentOrSimilarTo" ⓘ |
| Baron | Barone in Italy via predicate surface "equivalentOrSimilarTo" ⓘ |
| Baron | Barón in Spain via predicate surface "equivalentOrSimilarTo" ⓘ |
| Baron | Barão in Portugal via predicate surface "equivalentOrSimilarTo" ⓘ |