Łukasiewicz implication

GPTKB entity