提出了以VHDL语言为手段,介绍了针对个体域D为{0,1}的谓词逻辑定理证明的实现方法,并在Active-HDL环境中举例说明。
来源:互联网摘选根据现代蒙古语简单陈述句句子分析语料库,分别归纳了主语、谓语、定语、宾语、状语五种句子成分的判定规则,建立了现代蒙古语简单陈述句句子成分识别规则集。
来源:互联网摘选首先,针对组成空间查询语言的词和短语进行了分析和总结,建立了空间关系谓词库、量词库、地名库等。
来源:互联网摘选针对某些类型的否定歧义句体现出对助动词否定,全部否定,局部否定,及强调谓语的倾向,并受句中所用动词和汉语表达习惯的影响。
来源:互联网摘选主谓谓语句是汉语独具特色又较为常见的句式。
来源:互联网摘选在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集。
来源:互联网摘选受韩国语语序、语义和语境等多个要素的影响,汉语补语在韩国语中通常转化为状语、谓语。
来源:互联网摘选predicate_complement structure in miao language contains three levels.
述补结构在苗语中的发展大体上分为三个层次。
来源:互联网摘选在语用研究上,从语境对语言影响的角度对这些述宾结构进行研究,消除了古代汉语述宾结构语义关系的歧义,更深入地探讨了《晏子春秋》述宾结构语义关系多样性的原因。
来源:互联网摘选Predicate _ complement structure in Miao language contains three levels.
述补结构在苗语中的发展大体上分为三个层次.
来源:互联网摘选英语网 · 双语新闻

英语网 · 英语词汇
英语网 · 双语娱乐资讯

英语网 · 高考英语

英语网 · 双语娱乐资讯
英语网 · 双语娱乐资讯