Kunen inconsistency

GPTKB entity