isDoubleCoverOf

P78393
predicate

Indicates that one object serves as a two-to-one covering of another, such that each point or element of the second is covered by exactly two corresponding points or elements of the first.

Try in SPARQL

All labels observed (4)

Label Occurrences
isDoubleCoverOf canonical 7
hasDoubleCover 3
is2FoldCoverOf 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: isDoubleCoverOf
Generated description
Indicates that one object serves as a two-to-one covering of another, such that each point or element of the second is covered by exactly two corresponding points or elements of the first.

Sample triples (12)

Subject Object
SL(2,C) SO^+(3,1) ⓘ
linked to: Lorentz group
SL(2,C) proper orthochronous Lorentz group in 3+1 dimensions ⓘ
SU(2)
linked to: rotation group SU(2)
SO(3) ⓘ
linked to: rotation group SO(3)
SO(3)
linked to: special orthogonal group SO(n)
SU(2) via predicate surface "isDoubleCoveredBy" ⓘ
linked to: rotation group SU(2)
orthogonal group O(n+1,2) Spin(n+1,2)→SO(n+1,2) via predicate surface "hasDoubleCover" ⓘ
Spin(2,d) SO(2,d) ⓘ
linked to: SO(2,d)_{0}
Harada–Norton group 2.HN via predicate surface "hasDoubleCover" ⓘ
Held group 2.He via predicate surface "hasDoubleCover" ⓘ
PSL(2,ℝ) SO⁺(2,1) ⓘ
metaplectic group symplectic group ⓘ
linked to: symplectic group Sp(2n,R)
SL(2,7) PSL(2,7) ⓘ
SL(2,7) PSL(2,7) via predicate surface "is2FoldCoverOf" ⓘ