Real projective plane

GPTKB entity