1) broad-sense community word
广义社区词
2) narrow-sense community word
狭义社区词
3) generalized quantifiers
广义量词
1.
Tableau methods with generalized quantifiers are very difficulty for computer to implement.
该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法。
4) Generalized Quantifier
广义量词
1.
Soundness Theorem with Generalized Quantifier in LF(X);
LF(X)中带广义量词的可靠性定理
2.
Generalized Quantifier in the L-valued First-order Logic LF(X);
格值一阶逻辑系统LF(X)中的广义量词
3.
α-resolution Principle with Generalized Quantifier Based on First-order Lattice-valued Logic LF(X);
格值一阶逻辑系统LF(X)中带广义量词的α-归结原理
5) community word
社区词
1.
HongKong community words reflect the Hong Kong s social characteristics that have formed over many years, in terms of politics, economy, and culture, and the psychological fac tors of Hong Kongers in their use o.
社区词是社会区域词的简称,它和文言词、方言词、外来词一起,构成现代汉语词汇一般词语的组成部分和重要来源。
6) distinguish the sense of words
区别词义
1.
The Chinese character “子” has extremely substantial cultural content, which not only has the function to meet the requirement of structure, but also the functions to form the morphology, distinguish the sense of words, transform the part of speech and express emotional colours.
名词后缀“子”蕴涵着极其丰富的文化内容 ,它不仅有满足结构要求的作用 ,还有构成语形、区别词义、转换词性和表达情感色彩等作
补充资料：如此江山 泛曲阿后湖 曲阿词综曲阿词综中，
【诗文】：
依依杨柳，青丝缕、掩映绿波南浦。燕掠横斜，鳞游荡漾，恰是湔裙时序。清泠如许。恍镜影空磨，簟痕密聚。欲问伊人，且自溯洄前渚。并倚木阑无语。到来还、远树遥山，凝眸同睹。雁齿参差，＊流逦迤，多少鸥群鸳侣。最饶闲趣。且酒斟绿蚁，玉杯时举。＊乃一声，移入柳阴深处。西半夜惊罗一首，乃黄 词。 眼儿媚萧萧江上荻花秋一首，乃张孝祥词。堞恋花越女采莲秋水畔一首，乃欧阳修词。相见欢无言独上西楼一首，
【注释】：
【出处】：
依依杨柳，青丝缕、掩映绿波南浦。燕掠横斜，鳞游荡漾，恰是湔裙时序。清泠如许。恍镜影空磨，簟痕密聚。欲问伊人，且自溯洄前渚。并倚木阑无语。到来还、远树遥山，凝眸同睹。雁齿参差，＊流逦迤，多少鸥群鸳侣。最饶闲趣。且酒斟绿蚁，玉杯时举。＊乃一声，移入柳阴深处。西半夜惊罗一首，乃黄 词。 眼儿媚萧萧江上荻花秋一首，乃张孝祥词。堞恋花越女采莲秋水畔一首，乃欧阳修词。相见欢无言独上西楼一首，
【注释】：
【出处】：
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条