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 |
|---|---|
| Chemosh | Astar-Chemosh via predicate surface "equatedWith" ⓘ |
| Chemosh |
Astar-Chemosh
via predicate surface "equatedWith"
ⓘ
surface form:
Ashtar-Chemosh
|
| Chemosh | Mesopotamian god Ashtar in some interpretations via predicate surface "equatedWith" ⓘ |
| Dawud | David ⓘ |
| Clément | Clement via predicate surface "equivalentForm" ⓘ |
| British earldoms | continental European countships ⓘ |
| Church–Rosser property | every pair of convertible terms is joinable ⓘ |
| Tomas | Thomas via predicate surface "equivalentFormOf" ⓘ |
| Uni | Juno ⓘ |
| Uni | Hera ⓘ |
| Schrödinger equation |
Heisenberg operator formulation of quantum mechanics
ⓘ
surface form:
Heisenberg equation of motion
|
|
Roman goddess Trivia
surface form:
Trivia
|
Hecate ⓘ |
| Gustavo |
Gustav
via predicate surface "equivalentFormOf"
ⓘ
surface form:
Gustaf
|
| His Imperial Highness | German style "Seine Kaiserliche Hoheit" via predicate surface "correspondsTo" ⓘ |
| His Imperial Highness | French style "Son Altesse Impériale" via predicate surface "correspondsTo" ⓘ |
| His Imperial Highness | Russian style "Yego Imperatorskoye Vysochestvo" via predicate surface "correspondsTo" ⓘ |
|
Petit Papa Noël
surface form:
Père Noël
|
Santa Claus ⓘ |
| Graf | count ⓘ |
| Calendar Round | 52-year period via predicate surface "correspondsTo" ⓘ |
| Prince of Piedmont | Prince of Wales via predicate surface "equivalentTitle" ⓘ |
| Prince of Piedmont | Dauphin of France via predicate surface "equivalentTitle" ⓘ |
| Prince of Piedmont | Prince of Asturias via predicate surface "equivalentTitle" ⓘ |
| Prince of Piedmont | Crown Prince of Austria via predicate surface "equivalentTitle" ⓘ |
| Conquering Lion of the Tribe of Judah | Lion of Judah via predicate surface "equivalentTitle" ⓘ |
| Polus | Coeus ⓘ |
|
President of the Council of Ministers
surface form:
President of the Council of Ministers (France)
|
Prime Minister of France ⓘ |
| Samareia | Samaria via predicate surface "correspondsTo" ⓘ |
|
as-Sāmirah or as-Sāmiriyyah
surface form:
as-Sāmirah
|
Samaria
via predicate surface "correspondsTo"
ⓘ
surface form:
Samaria (region)
|
|
as-Sāmirah or as-Sāmiriyyah
surface form:
as-Sāmiriyyah
|
Samaria
via predicate surface "correspondsTo"
ⓘ
surface form:
Samaria (region)
|
| Lieutenant-Admiral of Holland and West Friesland | admiral (other navies) via predicate surface "equivalentRank" ⓘ |
| Lagrange's four-square theorem | closure of nonnegative integers under four-square addition formula ⓘ |
| Archimedean property of real numbers | For every real x, there exists n in N such that |x| < n. ⓘ |
| Archimedean property of real numbers | For every real x > 0, there exists n in N such that n x > 1. ⓘ |
| Archimedean property of real numbers | The set of natural numbers has no upper bound in the real numbers. ⓘ |
| Archimedean property of real numbers | The set {1/n : n in N} has infimum 0 in the real numbers. ⓘ |
|
Noetherian rings
surface form:
Noetherian ring
|
a ring in which every ideal is finitely generated via predicate surface "hasEquivalentDefinition" ⓘ |
| Artinian module | every nonempty set of submodules has a minimal element via predicate surface "hasEquivalentDefinition" ⓘ |
| Ivan | John via predicate surface "isEquivalentTo" ⓘ |
| Lut | Lot via predicate surface "correspondsTo" ⓘ |
| Lut |
Prophet Lut
via predicate surface "correspondsTo"
ⓘ
surface form:
biblical Lot
|
| Ilyas | Elijah ⓘ |
| Petr | Peter via predicate surface "equivalentFormOf" ⓘ |
| Duchess of Rothesay | Princess of Wales via predicate surface "correspondsTo" ⓘ |
| Avigail | Abigail via predicate surface "correspondsTo" ⓘ |
| continuum hypothesis | 2^{ℵ₀} = ℵ₁ via predicate surface "equivalentFormulation" ⓘ |
| Noether charge | time translation symmetry via predicate surface "correspondsTo" ⓘ |
| Noether charge | space translation symmetry via predicate surface "correspondsTo" ⓘ |
| Noether charge | rotation symmetry via predicate surface "correspondsTo" ⓘ |
| Noether charge | internal gauge symmetry via predicate surface "correspondsTo" ⓘ |
| Curicaueri | Curicaveri via predicate surface "equivalentName" ⓘ |