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 |
|---|---|
|
Sant’Anna (Italian)
surface form:
Sant’Anna
|
Saint Anne
via predicate surface "correspondsTo"
ⓘ
surface form:
Saint Anne (English)
|
|
Santa Ana (Spanish)
surface form:
Santa Ana
|
Saint Anne via predicate surface "equivalentFormOf" ⓘ |
| Sulayman |
King Solomon
ⓘ
surface form:
Solomon
|
| Roberto | Robert via predicate surface "equivalentFormOf" ⓘ |
| lambda calculus | Turing machine in computational power ⓘ |
| Lord of Parliament | English baron via predicate surface "equivalentRank" ⓘ |
| Ta-Mehu | northern modern Egypt via predicate surface "correspondsTo" ⓘ |
| Aphrodite |
Aphrodite
self-linksurface differs
ⓘ
surface form:
Roman goddess Venus
|
| Pedro | Peter via predicate surface "equivalentName" ⓘ |
| Pedro | Pierre via predicate surface "equivalentName" ⓘ |
| Pietro | Peter via predicate surface "equivalentFormInEnglish" ⓘ |
|
Gauss’s law
surface form:
Gauss's law
|
Coulomb's law under appropriate symmetry conditions ⓘ |
| Noetherian module | module in which every submodule is finitely generated ⓘ |
| Noetherian induction | induction on well-founded relations ⓘ |
| Noetherian induction | proof by minimal counterexample on Noetherian structures ⓘ |
| Commonwealth High Commissioners | ambassador ⓘ |
| Vespers |
Liturgy of the Hours
via predicate surface "correspondsTo"
ⓘ
surface form:
Evening Prayer in the Liturgy of the Hours
|
| Pablo | Paul via predicate surface "correspondsTo" ⓘ |
| Pascal's identity | definition of Pascal's triangle by row recursion ⓘ |
| Chief Master Sergeant of the Air Force | Sergeant Major of the Army ⓘ |
| Chief Master Sergeant of the Air Force | Master Chief Petty Officer of the Navy ⓘ |
| Chief Master Sergeant of the Air Force | Sergeant Major of the Marine Corps ⓘ |
| Chief Master Sergeant of the Air Force | Chief Master Sergeant of the Space Force ⓘ |
|
Gauss’s lemma in number theory
surface form:
Gauss’s lemma (number theory)
|
Legendre symbol (a|p) with (−1)^n via predicate surface "equates" ⓘ |
|
Gauss’s lemma in number theory
surface form:
Gauss’s lemma (number theory)
|
certain combinatorial formulations of the Legendre symbol ⓘ |
| Rappen | centime ⓘ |
|
tical (historical unit)
surface form:
tical
|
baht (historical name) ⓘ |
| Timotheus | Timothy via predicate surface "equivalentFormOf" ⓘ |
| Edvard | Edward via predicate surface "correspondsTo" ⓘ |
| FRSC |
FRSC
via predicate surface "equivalentDesignation"
self-linksurface differs
ⓘ
surface form:
F.R.S.C.
|
| d’Hondt method |
d’Hondt method
self-linksurface differs
ⓘ
surface form:
Jefferson apportionment method in the United States
|
| Mikhail | Michael via predicate surface "equivalentName" ⓘ |
| Mikhail | Michele via predicate surface "equivalentName" ⓘ |
| Mikhail | Mihai via predicate surface "equivalentName" ⓘ |
| Mikhail |
Mikhail
via predicate surface "equivalentName"
self-linksurface differs
ⓘ
surface form:
Mihail
|
| Mikhail | Mihajlo via predicate surface "equivalentName" ⓘ |
| Mikhail | Mikael via predicate surface "equivalentName" ⓘ |
| Mikhail | Mikael (Scandinavian form) via predicate surface "equivalentName" ⓘ |
| Mikhail | Mikael (Arabic form: Mikha'il) via predicate surface "equivalentName" ⓘ |
| Admiral of the Fleet of the Royal Navy | Field Marshal (British Army) ⓘ |
| Admiral of the Fleet of the Royal Navy | Marshal of the Royal Air Force ⓘ |
| Eshmun | Asclepius via predicate surface "equatedWith" ⓘ |
| Eshmun |
Asclepius
via predicate surface "equatedWith"
ⓘ
surface form:
Aesculapius
|
| Gold Coast | modern-day Ghana via predicate surface "correspondsTo" ⓘ |
| Luise | Louise via predicate surface "correspondsTo" ⓘ |
| Luise | Louise via predicate surface "equivalentFormInEnglish" ⓘ |
|
Article 88 of the Constitution of Italy
surface form:
Article 88 of the Constitution of the Italian Republic
|
Article 88 of the Constitution of Italy via predicate surface "sameAs" self-linksurface differs ⓘ |
| Marshal of the Royal Air Force | Field Marshal via predicate surface "equivalentRank" ⓘ |
| Marshal of the Royal Air Force |
Admiral of the Fleet of the Royal Navy
via predicate surface "equivalentRank"
ⓘ
surface form:
Admiral of the Fleet
|
| Marshal of the Royal Air Force | NATO rank code OF-10 via predicate surface "equivalentRank" ⓘ |