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 |
|---|---|
|
Pluto (Roman god of the underworld)
surface form:
Pluto
|
Hades ⓘ |
|
Pluto (Roman god of the underworld)
surface form:
Pluto
|
Aidoneus ⓘ |
| Vesta | Hestia ⓘ |
| Vesta |
Hestia
via predicate surface "equivalentToCulture"
ⓘ
surface form:
Greek goddess Hestia
|
| Klemens | Clemens via predicate surface "correspondsTo" ⓘ |
| Huw | Hugh via predicate surface "equivalentFormOf" ⓘ |
| אָדָם | Adam ⓘ |
| Andris | Andrew ⓘ |
| Holy Synod of Antioch |
Holy and Sacred Synod of the Ecumenical Patriarchate
via predicate surface "coequals"
ⓘ
surface form:
Holy Synod of the Ecumenical Patriarchate
|
| Holy Synod of Antioch | Holy Synod of the Russian Orthodox Church via predicate surface "coequals" ⓘ |
| Holy Synod of Antioch |
Holy Synod of the Coptic Orthodox Church
via predicate surface "coequals"
ⓘ
surface form:
Holy Synod of the Church of Alexandria
|
| Holy Synod of Antioch |
Holy Synod of Jerusalem
via predicate surface "coequals"
ⓘ
surface form:
Holy Synod of the Church of Jerusalem
|
| Holy Synod of Antioch | Holy Synods of other autocephalous Eastern Orthodox Churches via predicate surface "coequals" ⓘ |
| Mihai | Michael ⓘ |
| Miquel | Michael via predicate surface "correspondsTo" ⓘ |
| Margarida | Margaret via predicate surface "equivalentName" ⓘ |
| Vicente | Vincent ⓘ |
| Venus | Aphrodite ⓘ |
| Venus |
Aphrodite
via predicate surface "equivalentToCulture"
ⓘ
surface form:
Greek goddess Aphrodite
|
| Maruti | Hanuman via predicate surface "sameAs" ⓘ |
| Weyl group | isomorphism class of root system via predicate surface "correspondsTo" ⓘ |
| Feldzeugmeister | full general via predicate surface "equivalentRank" ⓘ |
| Feldzeugmeister | General der Infanterie via predicate surface "equivalentRank" ⓘ |
| Feldzeugmeister | General der Kavallerie via predicate surface "equivalentRank" ⓘ |
| Carathéodory’s theorem in convex geometry | the statement that the Carathéodory number of ℝⁿ equals n+1 ⓘ |
| Carathéodory’s formulation of the second law of thermodynamics | traditional second law for simple systems under suitable assumptions ⓘ |
| Assiyah | sefirah Malkhut in some systems via predicate surface "correspondsTo" ⓘ |
| Heisenberg operator formulation of quantum mechanics | Schrödinger formulation of quantum mechanics ⓘ |
| Heisenberg operator formulation of quantum mechanics | path integral formulation of quantum mechanics ⓘ |
| Suffetes | Roman consuls via predicate surface "saidToBeEquivalentTo" ⓘ |
| Suffetes | chief magistrates via predicate surface "saidToBeEquivalentTo" ⓘ |
| Euclidean metric | p = 2 in Lp metric via predicate surface "correspondsTo" ⓘ |
| Banach inverse mapping theorem |
Banach inverse mapping theorem
self-linksurface differs
ⓘ
surface form:
bounded inverse theorem
|
| Philipp | Philip via predicate surface "equivalentName" ⓘ |
| Punt Manninagh | Pound sterling ⓘ |
| Upper Hungary | present-day Slovakia via predicate surface "correspondsTo" ⓘ |
| Article 79 of the Constitution of India | Rajya Sabha via predicate surface "correspondsTo" ⓘ |
| Article 79 of the Constitution of India | Lok Sabha via predicate surface "correspondsTo" ⓘ |
|
Merriam
surface form:
C. Hart Merriam
|
Clinton Hart Merriam via predicate surface "sameAs" ⓘ |
| principle of least action | Newton's laws for many mechanical systems ⓘ |
| Leonid |
Leonidas of Tarentum
via predicate surface "equivalentName"
ⓘ
surface form:
Leonidas
|
| Michał | Michael via predicate surface "equivalentFormInEnglish" ⓘ |
| Fermat's Last Theorem | nonexistence of certain semistable elliptic curves over the rationals ⓘ |
|
Yoldiahavet (Swedish)
surface form:
Yoldiahavet
|
Yoldia Sea via predicate surface "equivalentName" ⓘ |
| Ta-Shema | Upper Egypt via predicate surface "correspondsTo" ⓘ |
| Hacienda | Puerto Rico Department of Treasury ⓘ |
| ᾍδης | Hades via predicate surface "equivalentName" ⓘ |
| ᾍδης | ᾍιδης via predicate surface "equivalentName" ⓘ |
| ᾍδης |
ᾍδης
via predicate surface "equivalentName"
self-linksurface differs
ⓘ
surface form:
ᾍδης (Ancient Greek form of Hades)
|
| Prophet, Forerunner and Baptist of the Lord | Greek liturgical titles of John the Baptist via predicate surface "correspondsTo" ⓘ |