PanLinx
English
eng-000
subordinate proposition
日本語
jpn-000
従命題
한국어
kor-000
보조정리
PanLex