查询词典 false

I saw her hair is false at the first glance.

我一眼就看出她的头发是假的。

I saw at first glance that her hair is false.

我一眼就看出她的头发是假的。

I found that her hair was false at first glance.

我一眼就看出她的头发是假的。

I saw at first glance that her hair was false.

我一眼就看出她的头发是假的。

I find her hair is false at my first glance.

我一眼就看出她的头发是假的。

For a short while, from the board of officials, the proposal that National People's Congress represents, to common people of common alley road people at one's leisure, eristic topic is figure of appeal attention Henan, play false great actor.

一时间，从官员们的会议桌，人大代表的提案，到寻常巷陌百姓们的茶余饭后，议论的话题都是呼吁关注河南形象，打假弘优。

And because directly after the times of the apostles, and even while they were still living, false teachers and heretics arose, and symbols, ie, brief, succinct confessions, were composed against them in the early Church, which were regarded as the unanimous, universal Christian faith and confession of the orthodox and true Church, namely, the Apostles' Creed, the Nicene Creed, and the Athanasian Creed, we pledge ourselves to them, and hereby reject all heresies and dogmas which, contrary to them, have been introduced into the Church of God.

而且因为直接经过时代的使徒，甚至当他们仍生活，假教师和异端出现时，和符号，即简短，简洁供述中，均对组成，他们在早期教会，而被视为一致的，普遍的基督教信仰和忏悔的正统和真正的教会，即使徒们的信条，尼西亚，以及亚他那修信经教义，我们保证给他们，并特此拒绝所有的异端邪说和教条，相反，对他们来说，已被引入神的教会。

In this solution, to check the vacuity of the CTL formula, it is not necessary to substitute all of its sub-formulae by TRUE or FALSE, but instead, it is enough to substitute its atomic proposition, and thus the number of times for checking is linear with the number of atomic propositions.

该方法对CTL公式的空属性的探测不需要对它的所有子公式用TRUE 或FALSE替换，只需对原子命题替换，这样检验的次数与原子命题的个数呈线性关系。

From the polarity of atomic proposition, a series of CTL formulae is derived by substituting the atomic proposition with TRUE or FALSE, before they are verified by model checking tools. If one of the CTL formulae has passed the verification, then it is concluded that the system property is a vacuity.

根据原子命题的极性，用TRUE 或FALSE替换原子命题，得到一系列的CTL公式，再对这些CTL公式用模型检验工具验证，若CTL公式中有一个通过了验证，则可得出该系统属性是一个空属性。

Any au pair under 21 years of age caught drinking or using false identification cards in order to buy or drink alcohol can be dismissed from the program.

任何育幼师在未满21周岁的情况下饮酒或使用假身份证以购买或喝酒，将从我们的项目中开除。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。