Klee's theorem

GPTKB entity