Frege's Basic Law V

GPTKB entity