Ontify
Algebraic variety over a field K birationally equivalent to a projective space of some dimension over K.