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 |
|---|---|
|
Valley State College
surface form:
San Fernando Valley State College
|
Valley State College via predicate surface "sameAs" self-linksurface differs ⓘ |
| Haldi |
Ashur
via predicate surface "equatedWith"
ⓘ
surface form:
Assyrian god Ashur
|
| Haldi |
Marduk
via predicate surface "equatedWith"
ⓘ
surface form:
Babylonian god Marduk
|
| Haldi |
Tarḫunna
via predicate surface "equatedWith"
ⓘ
surface form:
Hurrian god Teshub
|
| Teisheba |
Tarḫunna
via predicate surface "equatedWith"
ⓘ
surface form:
Hurrian god Teshub
|
| Teisheba |
Tarḫunna
via predicate surface "equatedWith"
ⓘ
surface form:
Hittite storm god Tarhunna
|
| Shivini | Shamash via predicate surface "equatedWith" ⓘ |
| Shivini | Mesopotamian sun god via predicate surface "equatedWith" ⓘ |
| Middle Triassic |
Middle Triassic
via predicate surface "correspondsTo"
self-linksurface differs
ⓘ
surface form:
Middle Triassic Series
|
| Shapash | Shapshu ⓘ |
| Shapash |
Shapshu
ⓘ
surface form:
Shapsh
|
| Shapash |
Shapash
self-linksurface differs
ⓘ
surface form:
Shapshu (Ugaritic sun goddess)
|
| Edoardo | Édouard via predicate surface "equivalentForm" ⓘ |
| Edoardo | Edward via predicate surface "equivalentForm" ⓘ |
| Atargatis | Aphrodite via predicate surface "equatedWith" ⓘ |
| Atargatis | Hera via predicate surface "equatedWith" ⓘ |
| Atargatis | Astarte via predicate surface "equatedWith" ⓘ |
| Atargatis |
Inanna
via predicate surface "equatedWith"
ⓘ
surface form:
Ishtar
|
| Atargatis | Derceto via predicate surface "equatedWith" ⓘ |
| British North Borneo | Sabah via predicate surface "correspondsTo" ⓘ |
| Enkutatash |
Gregorian calendar (Western churches)
via predicate surface "correspondsTo"
ⓘ
surface form:
Gregorian calendar
|
| Peer of France | British peer ⓘ |
| Tanit |
Hera
via predicate surface "possibleEquivalent"
ⓘ
surface form:
Greek goddess Hera
|
| Tanit |
Artemis
via predicate surface "possibleEquivalent"
ⓘ
surface form:
Greek goddess Artemis
|
| Tanit | Roman goddess Juno via predicate surface "possibleEquivalent" ⓘ |
| Tanit |
Artemis
via predicate surface "possibleEquivalent"
ⓘ
surface form:
Roman goddess Diana
|
|
Adm of the Fleet
surface form:
Admiral of the Fleet
|
Field Marshal (British Army)
ⓘ
surface form:
Field Marshal
|
|
Adm of the Fleet
surface form:
Admiral of the Fleet
|
Marshal of the Royal Air Force ⓘ |
| Hasse bound for elliptic curves | |#E(F_q) - (q + 1)| ≤ 2√q via predicate surface "equivalentFormulation" ⓘ |
| Hasse bound for elliptic curves | eigenvalues of Frobenius have complex absolute value √q via predicate surface "equivalentFormulation" ⓘ |
| Ioan | Ion via predicate surface "isEquivalentFormOf" ⓘ |
| Ioan | Ivan via predicate surface "isEquivalentFormOf" ⓘ |
| Ioan | Jan via predicate surface "isEquivalentFormOf" ⓘ |
| Ioan | Juan via predicate surface "isEquivalentFormOf" ⓘ |
| Ioan | Jean via predicate surface "isEquivalentFormOf" ⓘ |
| Ioan | Giovanni via predicate surface "isEquivalentFormOf" ⓘ |
| Ioan | Johann via predicate surface "isEquivalentFormOf" ⓘ |
| Ioan | Hans via predicate surface "isEquivalentFormOf" ⓘ |
|
Vara
surface form:
Varvara
|
Barbara ⓘ |
| Nyland |
Uusimaa
via predicate surface "correspondsTo"
ⓘ
surface form:
Uusimaa region
|
| SS-Gruppenführer | lieutenant general ⓘ |
| SS-Gruppenführer | Generalleutnant ⓘ |
|
Alexandre (Portuguese)
surface form:
Alexandre
|
Alexander via predicate surface "equivalentFormOf" ⓘ |
| Victor C. Swearingen |
Victor C. Swearingen
via predicate surface "saidToBeSameAs"
self-linksurface differs
ⓘ
surface form:
Victor Swearingen
|
| Shadow Chancellor of the Exchequer | Chancellor of the Exchequer via predicate surface "correspondsTo" ⓘ |
| Dumuzi | Tammuz via predicate surface "equatedWith" ⓘ |
| Ereshkigal |
Allat
via predicate surface "equatedWith"
ⓘ
surface form:
Allatu
|
|
Logres (legendary kingdom)
surface form:
Logres
|
King Arthur's Britain
via predicate surface "equatedWith"
ⓘ
surface form:
Arthur’s Britain
|
| Nabu |
Thoth
via predicate surface "equatedWith"
ⓘ
surface form:
Egyptian Thoth (by later interpreters)
|
| Nabu |
Hermes
via predicate surface "equatedWith"
ⓘ
surface form:
Greek Hermes (by later interpreters)
|