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 |
|---|---|
| Marshal of Yugoslavia | field marshal ⓘ |
| Marshal of Yugoslavia | five-star rank ⓘ |
| Jens | John ⓘ |
| Victoria Cross for New Zealand |
The Victoria Cross
ⓘ
surface form:
Victoria Cross
|
| DTLS | TLS 1.1 via predicate surface "correspondsTo" ⓘ |
| DTLS | TLS 1.2 via predicate surface "correspondsTo" ⓘ |
| DTLS |
RFC 8446
via predicate surface "correspondsTo"
ⓘ
surface form:
TLS 1.3
|
| Grand Duke of Lithuania | King of Poland via predicate surface "coextensiveWith" ⓘ |
| Bhavani |
Devi
via predicate surface "equatedWith"
ⓘ
surface form:
Durga
|
| Bhavani |
Goddess Gauri
via predicate surface "equatedWith"
ⓘ
surface form:
Parvati
|
| Bhavani |
Bhudevi
via predicate surface "equatedWith"
ⓘ
surface form:
Jagadamba
|
| Anuket | Anqet via predicate surface "equivalentName" ⓘ |
| Anuket | Anukis via predicate surface "equivalentName" ⓘ |
| Air Marshal | lieutenant general ⓘ |
| Air Marshal | NATO OF-8 rank ⓘ |
| P versus NP problem | asking whether NP-complete problems have polynomial-time algorithms ⓘ |
| Tefnut | Eye of Ra via predicate surface "equatedWith" ⓘ |
| ISO/IEC 16262 |
ECMAScript
via predicate surface "correspondsTo"
ⓘ
surface form:
ECMAScript language specification
|
|
citizen Louis Capet
surface form:
Citizen Louis Capet
|
Louis XVI of France via predicate surface "sameAs" ⓘ |
| Stéphane | Stephen via predicate surface "equivalentFormInEnglish" ⓘ |
| Didymus |
Apostle Thomas
via predicate surface "sameAs"
ⓘ
surface form:
Thomas the Apostle
|
| Didymus |
St. Thomas, U.S. Virgin Islands
via predicate surface "sameAs"
ⓘ
surface form:
Saint Thomas
|
| Didymus | Thomas Didymus via predicate surface "sameAs" ⓘ |
| Vinayaka | Ganesha via predicate surface "sameAs" ⓘ |
| Vinayaka |
Ganesha
via predicate surface "sameAs"
ⓘ
surface form:
Ganapati
|
| Vinayaka | Vighneshvara via predicate surface "sameAs" ⓘ |
| Giuliano | Julian via predicate surface "equivalentForm" ⓘ |
| Giuliano | Julien via predicate surface "equivalentForm" ⓘ |
| Giuliano | Julián via predicate surface "equivalentForm" ⓘ |
| Giuliano |
Julián
via predicate surface "equivalentForm"
ⓘ
surface form:
Juliano
|
| Director General, Central Reserve Police Force | Director General, Border Security Force via predicate surface "equivalentRankTo" ⓘ |
| Director General, Central Reserve Police Force |
Director General, Central Reserve Police Force
via predicate surface "equivalentRankTo"
self-linksurface differs
ⓘ
surface form:
Director General, Indo-Tibetan Border Police
|
| Director General, Central Reserve Police Force | Director General, Central Industrial Security Force via predicate surface "equivalentRankTo" ⓘ |
| Director General, Central Reserve Police Force |
Director General, Central Reserve Police Force
via predicate surface "equivalentRankTo"
self-linksurface differs
ⓘ
surface form:
Director General, Sashastra Seema Bal
|
| Firmament | Hebrew term raqia via predicate surface "correspondsTo" ⓘ |
| Rear Admiral (Royal Norwegian Navy) | one-star admiral rank in many NATO navies ⓘ |
| Rear Admiral (Royal Norwegian Navy) | Brigadier (Norwegian Army) ⓘ |
| Rear Admiral (Royal Norwegian Navy) | Brigadier (Royal Norwegian Air Force) ⓘ |
| Major General (Royal Norwegian Air Force) | Major General (Norwegian Army) via predicate surface "equivalentRank" ⓘ |
| Major General (Royal Norwegian Air Force) |
Rear Admiral (Royal Norwegian Navy)
via predicate surface "equivalentRank"
ⓘ
surface form:
Rear Admiral (Norwegian Navy)
|
| Zara |
Zadar
via predicate surface "correspondsTo"
ⓘ
surface form:
city of Zadar in Croatia
|
| Ninth Hour | Nones via predicate surface "correspondsTo" ⓘ |
| Ninth Hour | Ninth Hour in Western Christian tradition via predicate surface "correspondsTo" ⓘ |
| Thiệu Văn Nguyễn |
Nguyen Van Thieu
via predicate surface "sameAs"
ⓘ
surface form:
Nguyễn Văn Thiệu
|
| Lie subgroup | Lie subalgebra of the Lie algebra of the ambient Lie group under suitable conditions via predicate surface "correspondsTo" ⓘ |
| Lie algebra representation | Lie algebra module ⓘ |
| Nazarenus |
The Nazarene
ⓘ
surface form:
the Nazarene
|
| Hugues | Hugh via predicate surface "equivalentName" ⓘ |
| Julijan | Julian via predicate surface "correspondsTo" ⓘ |
| Clerk of the Supreme Court of Maryland |
Clerk of the Supreme Court of Maryland
via predicate surface "correspondsTo"
self-linksurface differs
ⓘ
surface form:
Clerk of the Court of Appeals of Maryland
|