查询词典 intensional

As a result, when in , subset of MA, obtained by imposing constraints on MA, AL is intensional because =L is equivalent with ≡.

在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAsynIF，此时逻辑等价与结构同余关系是等价的，即AL在MAsynIF中是内涵的。

This is a study on the "verb + noun" combinations for the purpose of Chinese information processing. Under the guidance of the Theory of Intensional Logic and Principle of Compositionality, we investigate the internal patterns and rules of various "verb + noun" combinations for formalization of Chinese semantic analysis and interpretation.

本文是面向中文信息处理的现代汉语动名组合问题研究，以内涵逻辑模型论思想为指导方法，以叠置原理为核心原则，寻找各种动名组合体的内部组合方式。。。

Based on intensional semantics, this paper uses a formal method to reveal that generic sentences express the intensions of concepts, and shows that what generics are about.Thus, some puzzling phenomena around generics are explained with satisfaction.

在概称句内涵语义的基础上，借助于形式化方法，本文通过构造可能世界到内涵域幂集的映射，发现概称句是表达概念内涵的句子，揭示了概称句的本质，使得关于概称句的一些现象得到合理的解释。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。