PanLinx
ISO 12620
art-317
Disjunction
PanLex