PanLinx
にほんご
jpn-002
きごうろんりがく
English
eng-000
symbolic logic
日本語
jpn-000
記号論理学
PanLex
