Łukasiewicz disjunction

GPTKB entity