PanLinx
한국어
kor-000
전칭명제
English
eng-000
universal proposition
PanLex