axiom of specification

GPTKB entity