1) upper(lower) semi lattice
上(下)半格
2) lower semilattice
下半格
1.
It is proved that the ad joint semigroup of a positive implicative BCKalgebra with condition(s) is a lower semilattice.
本文讨论了正蕴涵BCK－代数的剩余刻划；证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。
3) lower semi modular lattice
下半模格
4) upper semilattice
上半格
1.
We prove that the adjoint semigroup of an implicative BCK algebra is an upper semilattice, and the adjoint semigroup of an implicative BCK algebra with condition(s) is a generalized Boolean algebra.
我们证明了蕴涵BCK_代数的伴随半群是一个上半格 ;具有条件 (s)的蕴涵BCK_代数的伴随半群是一个广义布尔代数。
5) pseudo upper semilattice
伪上半格
6) Upper semi-modular lattice
上半模格
补充资料：半格诗
1.诗体的一种。指与今律相谐的歌行体，以别于纯粹的古风。唐白居易《长庆集》卷五一﹑五二﹑六三有格诗，卷六九为半格诗。宋陆游《古寿人至闻五郎颇有老态作长句自遣》诗:"点诵内篇庄叟语，长歌半格白公诗。"清赵执信《声调谱》引白居易《小阁闲坐》半格诗一首为例，分析某为古句，某为律句，某为齐梁，意在说明半格诗，乃半古半律，为齐梁体的别格。但汪立名《白香山诗集》"半格诗"注则认为格与律是相对而言，古体诗﹑乐府歌行，俱属格诗;半格诗是指此卷中，一半格诗，一半律诗，并非另有一体。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条