PanLinx
한국어
kor-000
형식의미론
English
eng-000
formal semantics
français
fra-000
sémantique formelle
韓國語
kor-002
形式意味論
PanLex