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 |
|---|---|
| Rear Admiral (Imperial Japanese Navy) | Generalmajor (Imperial Japanese Army) (approximate) via predicate surface "equivalentRank" ⓘ |
| Euler’s formula for complex exponentials | \cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2} via predicate surface "equivalentForm" ⓘ |
| Euler’s formula for complex exponentials | \sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i} via predicate surface "equivalentForm" ⓘ |
| Euler product formula for the Riemann zeta function | sum over n ≥ 1 of 1/n^s equals product over primes p of 1/(1 − p^(−s)) for Re(s) > 1 ⓘ |
| Second Vice-President of the International Criminal Court | First Vice-President of the International Criminal Court via predicate surface "coEqualWith" ⓘ |
| Under Secretary of the Air Force | Under Secretary of the Army ⓘ |
| Under Secretary of the Air Force | Under Secretary of the Navy ⓘ |
| Arakan |
Arakan
via predicate surface "correspondsTo"
self-linksurface differs
ⓘ
surface form:
Rakhine State
|
| Chief Master Sergeant of the Space Force | Sergeant Major of the Army via predicate surface "equivalentRank" ⓘ |
| Chief Master Sergeant of the Space Force | Master Chief Petty Officer of the Navy via predicate surface "equivalentRank" ⓘ |
| Chief Master Sergeant of the Space Force | Chief Master Sergeant of the Air Force via predicate surface "equivalentRank" ⓘ |
| Chief Master Sergeant of the Space Force | Sergeant Major of the Marine Corps via predicate surface "equivalentRank" ⓘ |
| Chief Master Sergeant of the Space Force | Chief Master Sergeant of the Air Force and other service senior enlisted advisors via predicate surface "equivalentRank" ⓘ |
| Tucker’s lemma | Borsuk–Ulam theorem over Z2 in appropriate formulations via predicate surface "isEquivalentTo" ⓘ |
| Empress of the French | French Empress via predicate surface "equivalentTitle" ⓘ |
| People's Commissar for Foreign Affairs of the RSFSR | foreign minister via predicate surface "correspondsTo" ⓘ |
| Bithynia | northwestern Turkey via predicate surface "correspondsTo" ⓘ |
| Astarte |
Inanna
ⓘ
surface form:
Ishtar
|
| Astarte |
Astarte
self-linksurface differs
ⓘ
surface form:
Inanna
|
| Astarte | Aphrodite ⓘ |
| Astarte |
Aphrodite
ⓘ
surface form:
Venus (mythology)
|
| Astarte |
Astarte
self-linksurface differs
ⓘ
surface form:
Ashtoreth
|
| Astarte | Attar (feminine form) ⓘ |
| Caterina | Catherine via predicate surface "equivalentForm" ⓘ |
| Caterina |
Kathryn
via predicate surface "equivalentForm"
ⓘ
surface form:
Katherine
|
| Caterina | Catalina via predicate surface "equivalentForm" ⓘ |
| Caterina | Catriona via predicate surface "equivalentForm" ⓘ |
| Havah |
Eve
via predicate surface "correspondsTo"
ⓘ
surface form:
Eve in the biblical creation narrative
|
| Hathor | Aphrodite via predicate surface "equatedWith" ⓘ |
| Hathor | Venus via predicate surface "equatedWith" ⓘ |
| Julius |
Julius
via predicate surface "correspondsTo"
self-linksurface differs
ⓘ
surface form:
Iulius
|
| Sothis |
Sothis
via predicate surface "equatedWith"
self-linksurface differs
ⓘ
surface form:
Isis-Sothis in Greco-Roman period
|
| Serapis | Hades via predicate surface "equatedWith" ⓘ |
| Serapis | Pluto via predicate surface "equatedWith" ⓘ |
| Serapis | Zeus via predicate surface "equatedWith" ⓘ |
| Serapis | Asclepius via predicate surface "equatedWith" ⓘ |
| Serapis | Dionysus via predicate surface "equatedWith" ⓘ |
| Aden shilling | 1 East African shilling via predicate surface "equalTo" ⓘ |
| Aden shilling | 1 shilling sterling via predicate surface "equalTo" ⓘ |
|
Secretary to Government of India
surface form:
Secretary to the Government of India
|
Chief Secretary of a State Government in India via predicate surface "equivalentRank" ⓘ |
|
Secretary to Government of India
surface form:
Secretary to the Government of India
|
Secretary-level officer in other All India or Central Civil Services via predicate surface "equivalentRank" ⓘ |
| Captain General of the Spanish Armed Forces | five-star rank ⓘ |
| Black Water | Kala Pani via predicate surface "equivalentName" ⓘ |
| Cupid |
Cupid
self-linksurface differs
ⓘ
surface form:
Eros
|
| Cupid | Amor ⓘ |
|
CAS
surface form:
Chief of the Air Staff
|
air chief marshal (in several Commonwealth air forces) via predicate surface "equivalentRank" ⓘ |
| Great Khan |
Great Khan
via predicate surface "equivalentTitle"
self-linksurface differs
ⓘ
surface form:
Khagan
|
| Great Khan | Qaʾan via predicate surface "equivalentTitle" ⓘ |
| Great Khan | Great Khagan via predicate surface "equivalentTitle" ⓘ |
| Ilkenau |
Olkusz
via predicate surface "correspondsTo"
ⓘ
surface form:
Polish name "Olkusz"
|