Segal's axioms

GPTKB entity