orthogonal group O(1,3)

GPTKB entity