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 |
|---|---|
| ACM | full general ⓘ |
| ACM | admiral ⓘ |
| the elder |
Apostle John
via predicate surface "possiblyIdenticalTo"
ⓘ
surface form:
John the Apostle
|
| the elder |
Apostle John
via predicate surface "possiblyIdenticalTo"
ⓘ
surface form:
John the Evangelist
|
| the elder | John of Patmos via predicate surface "possiblyIdenticalTo" ⓘ |
| Shadow Secretary of State for Energy Security and Net Zero | Secretary of State for Energy Security and Net Zero via predicate surface "correspondsTo" ⓘ |
| Erathem | geologic era via predicate surface "correspondsTo" ⓘ |
| Maurizio | Maurice via predicate surface "equivalentFormOf" ⓘ |
| Tell el-Farama | ancient city of Pelusium via predicate surface "correspondsTo" ⓘ |
| Ki | earth as a cosmic region via predicate surface "equatedWith" ⓘ |
| Sud | Ninlil via predicate surface "equatedWith" ⓘ |
| Ishkur | Adad ⓘ |
| Adad | Ishkur ⓘ |
| An | Akkadian god Anu via predicate surface "equatedWith" ⓘ |
| Assyrian province of Samerina | region of Samaria via predicate surface "correspondsTo" ⓘ |
| Assyrian province of Samerina | central highlands of ancient Israel via predicate surface "correspondsTo" ⓘ |
| MCPOCG | Sergeant Major of the Army via predicate surface "equivalentRank" ⓘ |
| MCPOCG | Master Chief Petty Officer of the Navy via predicate surface "equivalentRank" ⓘ |
| MCPOCG | Chief Master Sergeant of the Air Force via predicate surface "equivalentRank" ⓘ |
| MCPOCG | Sergeant Major of the Marine Corps via predicate surface "equivalentRank" ⓘ |
| MCPOCG | Chief Master Sergeant of the Space Force via predicate surface "equivalentRank" ⓘ |
| COMINCH | Commander in Chief, U.S. Fleet ⓘ |
|
Andrew Buckland
surface form:
Oscar for Best Film Editing
|
Academy Award for Best Film Editing via predicate surface "sameAs" ⓘ |
| Sub-Lieutenant (Royal Naval Reserve) |
Sub-Lieutenant (Royal Naval Reserve)
via predicate surface "equivalentRank"
self-linksurface differs
ⓘ
surface form:
Sub-Lieutenant (Royal Navy)
|
| Sub-Lieutenant (Royal Naval Reserve) |
Flying Officer (Royal Australian Air Force)
via predicate surface "equivalentRank"
ⓘ
surface form:
Flying Officer (Royal Air Force Reserve)
|
| Sub-Lieutenant (Royal Naval Reserve) |
Lieutenant (Australian Army)
via predicate surface "equivalentRank"
ⓘ
surface form:
Lieutenant (Army Reserve)
|
| command chief master sergeant | sergeant major of the Army (by pay grade) ⓘ |
| command chief master sergeant | master chief petty officer (by pay grade) ⓘ |
| command chief master sergeant | sergeant major (by pay grade) ⓘ |
| command chief master sergeant | master gunnery sergeant (by pay grade) ⓘ |
| Gheorghe | George via predicate surface "equivalentFormInEnglish" ⓘ |
| Jupiter | Zeus ⓘ |
| Jupiter |
Dyaus Pitar
ⓘ
surface form:
Dyaus Pitar (etymological cognate)
|
| Uras | Ki via predicate surface "sometimesEquatedWith" ⓘ |
| Ninurta |
Ninurta
via predicate surface "equatedWith"
self-linksurface differs
ⓘ
surface form:
Ningirsu
|
| Ninurta |
Ninurta
via predicate surface "equatedWith"
self-linksurface differs
ⓘ
surface form:
Ninĝirsu
|
| Ninurta | Ninib via predicate surface "equatedWith" ⓘ |
| Ninurta | Ninurtu via predicate surface "equatedWith" ⓘ |
| Senior Airman (USSF enlisted rank) |
Senior Airman (USSF enlisted rank)
self-linksurface differs
ⓘ
surface form:
Senior Airman (USAF enlisted rank)
|
| Petty Officer Second Class (United States Navy) | Sergeant (United States Army) via predicate surface "equivalentRank" ⓘ |
| Petty Officer Second Class (United States Navy) | Sergeant (United States Marine Corps) via predicate surface "equivalentRank" ⓘ |
| Petty Officer Second Class (United States Navy) | Staff Sergeant (United States Air Force) (historical alignment varies) via predicate surface "equivalentRank" ⓘ |
| Petty Officer Second Class (United States Navy) |
Sergeant (USSF enlisted rank)
via predicate surface "equivalentRank"
ⓘ
surface form:
Sergeant (United States Space Force) (historical alignment varies)
|
| Petty Officer Second Class (United States Navy) |
Petty Officer Second Class (United States Navy)
via predicate surface "equivalentRank"
self-linksurface differs
ⓘ
surface form:
Petty Officer Second Class (United States Coast Guard)
|
|
Sergeant
surface form:
Sergeant (United States Space Force)
|
Sergeant (United States Army) via predicate surface "equivalentRank" ⓘ |
|
Sergeant
surface form:
Sergeant (United States Space Force)
|
Sergeant (United States Marine Corps) via predicate surface "equivalentRank" ⓘ |
|
Sergeant
surface form:
Sergeant (United States Space Force)
|
Petty Officer Second Class (United States Navy) via predicate surface "equivalentRank" ⓘ |
|
Sergeant
surface form:
Sergeant (United States Space Force)
|
Petty Officer Second Class (United States Navy)
via predicate surface "equivalentRank"
ⓘ
surface form:
Petty Officer Second Class (United States Coast Guard)
|
| SMSgt | Senior Master Sergeant (USAF) in pay grade ⓘ |
| Cauchy–Riemann equations | existence of complex derivative at a point with continuity in a neighborhood ⓘ |