词态

Some Medieval philosophers supposed that the fact that true propositions are of the two sorts "necessarily true" and "contingently true"(and the corresponding fact about false propositions) showed that there were two "modes" in which a proposition could be true: the mode of contingency and the mode of necessity—hence the term 'modality'.

所以有了"模态『modality』"这个词。

Her denial of accepting lesbianism shows not only a reticence with regards to her sexual life, but also her issues with the negatives associated with lesbianism.

然而，她之所以会否认的原因外乎是对於她自己的性生活采取含蓄的态，并认为社会上所定义的「同性」一词其实有贬低同性之意。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

They are modal arguments, epistemological arguments, and semantical arguments. It is wrong to doubt the three types of the arguments.

克里普克为了证明传统的名称摹状词理论的错误给出了三大论证，即模态论证、认识论的论证和语义学的论证。

This term can be defined as any social policy in which participation in job search, training, or work is a condition of receiving benefits (Vickerstaff 1999:151). In other words, workfare is the system whereby claimants are required to engage in some form of employment or training scheme in order to qualify for benefits Fitzpatrick 1999:280

工作福利一词可被界定为凡所有的社会政策，涉及敦促失业者找工作，接受训练或工作，作为请领津贴的条件，皆称为「工作福利」，易言之，工作福利是一福利制度，要求申请者必要参与某些型态的就业或训练，才能合格申请津贴，称之为「工作福利

The words "Pai-Chang"or "Pai5 Tiunn5" have many meanings But when used in traditional opera or music and explained as a kind of formal musical performance they are only applied in Taiwanese Peguan and Nanguan cultural circle particularly in Peguan circle There are two kinds of characters of "Pai-Chang" in terms of the function of the performance namely artistry and folk custom In Tainian city "Pai-Chang" which refers to the formal vocal performance without makeup and acting; nevertheless is used by the amateur actors' organizations of Peking opera as well Such a phenomenon raises two questions: first of all Although Peking the origin of Peking opera has vocal performance of Peking opera "Pai-Chang" is never used either artistry or folklore therefore how does this jargon hand down to the Peking opera circle in Tainan city ?

「排场」(pai5 tiunn5或ㄆㄞˊㄔㄤˇ)一词，用於戏曲音乐方面，做音乐的正式演出型态解释者，为台湾南北管文化圈所特有，其中又以北管最常使用。其以表演目的或弁郧荌粥洃嚏A可分为艺术性与民俗性两种。然而，在台南市及其周边的京剧文化圈内，亦使用有「排场」(pai5 tiunn5或ㄆㄞˊㄔㄤˇ)此一语汇，也指京剧的「正式清唱演出」。本研究动机基於对目前仅见於台南市及其周边之民俗性京调排场的两点疑惑：其一，按京剧的形成地－－北京，虽亦有京剧的清唱演出，然不论为艺术性或民俗性，北京人都不称为「排场」，那麼台南市京剧圈的排场语汇是如何得来的呢？代表了何种意义？

Asynchrony of speech and lip motion is a key issue of multi-model fusion Audio-Visual Speech Recognition.

摘要语音和唇部运动的异步性是多模态融合语音识别的关键问题，该文首先引入一个多流异步动态贝叶斯网络模型，在词的级别上描述了音频流和视频流的异步性，音视频流都采用了词-音素的层次结构。

Necessity is not a one-place modal term in common logical thinking, and there is no internal connection between necessity and truth-function of eternal truth.

在普通逻辑思考实际中，必然既不是1元的模态词，而且，必然与恒真的真值函数之间也并无内在联系。

Finally, we concentrate on the paths of semantic change in grammaticalization,suggesting that they show tendency of subj certification.

个案包括英汉体、态的发展，英语连接词，语用标记语的语法化等。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition, by adding the modal auxiliary "should "before t...

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。