Sahlqvist formula

GPTKB entity