«لغت نامه دهخدا»
[ثُ ئی یَ] (ع ص نسبی) در نزد علماء منطق قسمی از قضیهء حملیه باشد که بیان آن در ذکر معنی کلمهء حمل بیاید. (کشاف اصطلاحات الفنون).