Łukasiewicz conjunction

GPTKB entity