Russell's type theory

GPTKB entity