PanLinx
ภาษาไทย
tha-000
การอนุมานด้วยเหตุผล
English
eng-000
logic
PanLex