查询词典 true

Return true if all characters in the string are alphabetic and there is at least one character, false otherwise.

如果所有的字符串都是字母，这返回True，否则返回False

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公式中有一个通过了验证，则可得出该系统属性是一个空属性。

Autostart = true # Should all devices be automatically started?

autostart = true #所有的设备都自动启动吗？

The autostart parameter should have the value "true" if you want the movie to play automatically.

如果你希望自动播放影片，那么 autostart 参数应该设置为"True"。

In the English language, blue implies speed in " a blue streak "（一闪而过的东西,形容很快的人或物） and loyalty in being "true blue."

在英语中，用蓝色表示速度为"a blue streak"，表示忠诚为"true blue"。

For fixed disk drives, this property will always be TRUE Values: TRUE or FALSE.

对于固定的磁盘驱动器，这个属性永远为 TRUE 值： TRUE 或 FALSE。

Kriegspiel English explanation is that WAR GAME, is a variant of chess, but also a true spectator of the game with the public (a true spectator sport!).

Kriegspiel的英文解释就是WAR GAME，是象棋的一种变形，同时也是一种真正的具有公众观赏性的游戏(a true spectator sport！)。

Return True if all elements of the iterable are true. Equivalent to

解析：如果可迭代变量所有元素都为真，则返回True，否则返回False。

Enlist 'true' When true, the pooler automatically enlists the connection in the creation thread's current transaction context.

登记 'true'当该值为 true 时，池程序在创建线程的当前事务上下文中自动登记连接。

By the time of its fall, most of the prisoners were writers who had written against the corruptions of the government.

到它被攻陷的时候，里面多数的犯人是写了反对政府贪污文章的作家。

The most obvious variation to ovum morphological character was that the color was changed from light green to sepiaceous in embryonic development, and all the ovums were almost hatched after 96h.

在胚胎发育过程中卵的形态特征最明显的变化是颜色从淡绿到深褐色，卵在发育96h后卵基本全部孵化。