PanLinx
ISO 12620
art-317
Quantifier
PanLex