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 |
|---|---|
| Cauchy convergence criterion | definition of completeness of a metric space ⓘ |
| Pluto | Hades ⓘ |
| Pluto | Greek goddess Persephone’s husband ⓘ |
| Guglielmino | William via predicate surface "correspondsTo" ⓘ |
|
SS-25 Sickle ICBM
surface form:
SS-25 Sickle
|
RT-2PM Topol ICBM
via predicate surface "basicallySameAs"
ⓘ
surface form:
RT-2PM Topol
|
| Yishai | Jesse via predicate surface "equivalentName" ⓘ |
| Granary of Bolivia |
Granary of Bolivia
via predicate surface "equivalentName"
self-linksurface differs
ⓘ
surface form:
granero de Bolivia
|
|
Wonskolaser
surface form:
Hirsz Wonskolaser
|
Harry Warner via predicate surface "sameAs" ⓘ |
| Bernardo | Bernhard ⓘ |
| Nikolay | Nicholas ⓘ |
| Herculius | Herculean emperor via predicate surface "correspondsTo" ⓘ |
| Speaker of the East African Legislative Assembly | Speaker of Parliament in national legislatures ⓘ |
| Oberstleutnant | lieutenant colonel ⓘ |
| Elisabeta | Elizabeth via predicate surface "correspondsTo" ⓘ |
|
Guglielmo (Gugo, Memo, etc. context-dependent)
surface form:
Guglielmo
|
William via predicate surface "equivalentName" ⓘ |
| BTEC | GCSE (for some Level 2 BTECs) ⓘ |
| BTEC | A level (for some Level 3 BTECs) ⓘ |
| Master Sergeant (USSF) | Master Sergeant (USAF) via predicate surface "equivalentRank" ⓘ |
| Master Sergeant (USSF) | First Sergeant (E-7) (USSF) when serving in first sergeant billet via predicate surface "equivalentRank" ⓘ |
| Patroness of the Americas | Patrona de las Américas via predicate surface "equivalentTitle" ⓘ |
| able rate | able seaman (Royal Navy historical usage) ⓘ |
| Shadow Foreign Secretary | Secretary of State for Foreign, Commonwealth and Development Affairs via predicate surface "correspondsTo" ⓘ |
|
Marta (Spanish)
surface form:
Marta
|
Martha via predicate surface "equivalentFormOf" ⓘ |
|
Marta (Polish)
surface form:
Marta
|
Martha via predicate surface "equivalentFormOf" ⓘ |
| Shadow Secretary of State for Wales | Secretary of State for Wales via predicate surface "correspondsTo" ⓘ |
|
Komtur (German, historical)
surface form:
Komtur
|
commander (of a commandery) ⓘ |
|
Marta (Czech)
surface form:
Marta
|
Martha via predicate surface "equivalentForm" ⓘ |
| Empress Emerita of Japan | Emperor Emeritus of Japan via predicate surface "correspondsTo" ⓘ |
| Master Chief Petty Officer (USN) |
Command Sergeant Major (USA)
via predicate surface "equivalentRank"
ⓘ
surface form:
Sergeant Major (US Army)
|
| Master Chief Petty Officer (USN) |
Sergeant Major (USMC)
via predicate surface "equivalentRank"
ⓘ
surface form:
Sergeant Major (US Marine Corps)
|
| Master Chief Petty Officer (USN) |
Chief Master Sergeant
via predicate surface "equivalentRank"
ⓘ
surface form:
Chief Master Sergeant (US Air Force)
|
| Master Chief Petty Officer (USN) |
Chief Master Sergeant
via predicate surface "equivalentRank"
ⓘ
surface form:
Chief Master Sergeant (US Space Force)
|
| Master Chief Petty Officer (USN) |
Master Chief Petty Officer of the Coast Guard
via predicate surface "equivalentRank"
ⓘ
surface form:
Master Chief Petty Officer (US Coast Guard)
|
| Ó Nualláin | Nolan via predicate surface "correspondsTo" ⓘ |
| Kelvin–Planck statement of the second law of thermodynamics | Clausius statement of the second law of thermodynamics under suitable assumptions ⓘ |
| Detective Chief Inspector | Chief Inspector via predicate surface "equivalentRank" ⓘ |
| Madhyamaka | emptiness with dependent origination via predicate surface "equates" ⓘ |
| Jina |
Tirthankaras
via predicate surface "equivalentTitle"
ⓘ
surface form:
Tirthankara
|
| Djehuty |
Thoth
via predicate surface "equatedWith"
ⓘ
surface form:
Hermes Trismegistus
|
| Miklós | Nicholas via predicate surface "equivalentFormInEnglish" ⓘ |
| Vasyl | Basil via predicate surface "equivalentFormInEnglish" ⓘ |
| Grégoire | Gregory via predicate surface "equivalentForm" ⓘ |
| Grégoire | Gregor via predicate surface "equivalentForm" ⓘ |
| Grégoire | Gregorio via predicate surface "equivalentForm" ⓘ |
| Grégoire | Grzegorz via predicate surface "equivalentForm" ⓘ |
| Grégoire | Gregorios via predicate surface "equivalentForm" ⓘ |
| Grigor | Gregory via predicate surface "correspondsTo" ⓘ |
| Gergely | Gregory via predicate surface "equivalentFormOf" ⓘ |
| Winged lion | Gospel of Mark via predicate surface "correspondsTo" ⓘ |
| Chapman–Kolmogorov equation | semigroup property P_{s,t} = P_{s,u} P_{u,t} ⓘ |