判定的

Description logics are fragments of the first-order logic ,which contain concepts,roles,and concept and role constructors;and have features of strong expressivity and decidable reasoning.

描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。

Description logic is the formal tool of knowledge representation and reasoning.

描述逻辑是知识表示和推理的形式化工具，它提供了可判定的和可靠的推理服务。

Though a general rule of thumb for turtles concerning sexing ids that males have a longer thicker tail, as well as a concave plastron, this appears to not apply to these turtles as strictly.

性别与繁殖：凭经验来说，龟龟性别判定的重要特征是一条又粗又长的尾巴和凹陷的腹甲，但这几点对于刺山来说，却并不严格准确。

Polymorphic type system with constraints in Garment is studied in this paper including type checking algorithm. It is proved that the satisfiability of constraints in the algorithm is decidable.

本文在Garment中引入了约束多态类型，研究了Garment中带约束的多态类型系统，给出了类型检查算法，证明了此算法中约束的可满足性是可判定的。

It has proved that each FPTA-recognizable language and its complement are Buchi recognizable, and the language inclusion problem for FPTA is decidable.

研究了FPTA的接受语言类，证明了FPTA可接受时间语言和其补语言都是Buchi可接受语言，同时证明了有限精度时间自动机的语言包含问题是可判定的。

In the practical side﹐we can demonstrate modified mean-variance utility approach outrightly prefer to the mean-variance approach

在传统均数-变数效用法下，由於IC设计具备高的投资风险，导致IC设计与加权股价常常落於无法判定的情况，故无法精确评估其绩效高低表现，因此我们认为这不是良好的绩效评估准则。

The phyletic evolution analyzing of this PI sequence and PI sequence from other plants by DNAman software, we found that buckwheat and Amaranthus hypochondriacus merge firstly, then merge with Momordica, Sambucus, Solanum, etc. Meeting with the phyletic evolution relation assess by morphology.

应用DNAman软件对荞麦蛋白酶抑制剂的氨基酸序列及从GenBank中获取的其他植物蛋白酶抑制剂序列进行系统进化分析，发现荞麦与苋属植物最先聚类合并，在进化上显示靠得最近，接着与百日草类群聚合，然后再与苦瓜属、接骨木属、柑橘属、茄属植物聚合，符合按照形态学进行判定的系统进化关系。

Because precise determination of a virus by its appearance is undecidable,a K-nearest neighbor Algorithm based on sample learning to detect computer virus approximately is presented in this paper.

因为准确检测计算机病毒是不可判定的，故该文提出了一种基于实例学习的k-最近邻算法来实现对计算机病毒的近似检测。

Contemporaries; the most objective evaluators of a person's greatness arepeople who belong to a later time.

一个人的伟大是无法为他的同代人所客观判定的，而是应该由后人来评判。

An individual's greatness cannot be judged objectively by his or her con temporaries; the most objective evaluators of a person's greatness are people who belong to a later time.

一个人的伟大是无法为他的同代人所客观判定的，而是应该由后人来评判。

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万英镑骗了个精光。