公式的可满足性是其相应断言的意义集不空。
Satisfibility of the logical formula is that meaning set corresponding to it is not empty.
它可以为空不空。
无事心不空，有事心不乱，大事心不畏，小事心不慢。
Nothing not empty heart, fine heart not disorderly, big heart not afraid of, small heart is not slow.
地藏王菩萨地狱不空，誓不成佛，是热恼炼狱里的义工。
Ksitigarbha, Bodhisattva of the hell, vows to save their inmates before he becomes a Buddha.
不空是指真实，这是善的，常，乐，我，净，不动的和不变的。
Not-empty points to Truth, to whatever is Good, Eternal, Bliss, Self, Pure, Immovable and Unchanging.
吸水率小，很容易在砂浆中得到控制，收缩率小，不空鼓开裂，有稳定的热工性能与力学性能，并且也相对提高了砂浆的使用寿命。
Low water absorption, easily controlled in mortar, low shrinkage, no hollowing and cracking, stable thermal property and mechanical property, increase the mortar service life.
空替代出现在标准化策略中用来连接其它非空策略，它只是说明不采用任何行动是正确的。
The empty alternative can appear in a Normalized policy in conjunction with other non-empty alternatives. It simply states that taking no action is a valid choice.
XML文档可以使用内部不包含任何内容的空标记，这些标记可以表示为单个标记，而不是一组开始和结束标记。
An XML document can have some empty tags that do not have anything inside and can be expressed as a single tag instead of as a set of beginning and end tags.
圆括号内是空的，表示了这种方法不包含任何参数。
The parentheses are empty, which indicates that the method takes no arguments.
如果做不到这点，我们只能变成这么一个物种：百折不挠地向外空群星进发，却只能撞到由我们的垃圾组成的墙上。
The only alternative is to become a species who heroically reach for the stars -- only to smack into a wall of our own trash.
对于表中与谓词不匹配的每一行，返回一个包含空的xml序列的行。
For each row in the table which doesn't match the predicate, a row containing an empty XML sequence is returned.
如果不覆盖它们，它们将抛出unsupportedactionexception或者提供另一种标准的默认行为，比如返回一个空数组或null。
If they are not overridden, they will throw UnsupportedActionException or provide another standard default behavior, such as returning an empty array or null.
技巧在于：不包含空类作为成员，Boost中的pair结构是从这个空类中派生出来的。
Here's the trick: Instead of containing the empty class as a member, the pair structure in Boost derives from the empty class.
如果列不包含空值，则SQL使用一个包含一个0的小整数；反之则包含- 1。
SQL USES a small integer which contains a zero if the column is not null or -1 if the column contains nulls.
因此，在这种情况下，我们将创建两个case类，一个不包含任何内容Empty，这表示MailBox为空，另一个包含消息数据Full。
Therefore, in this situation, we create two case classes, one containing nothing (empty) that indicates the MailBox is empty and one containing the data (Full) with the message data in it.
当被告知输出不超过n个字节时，snprintf保证会创建一个长度不超过 n-1的字符串，字符串最后是一个空结束符。
When told to print no more than n bytes, snprintf guarantees that it creates a string of length no more than n-1, with a null terminator at the end of the string.
第二个不包含（也许是因为客户不提供该信息）；因此，它的emailList 为空。
The second contains none (perhaps because the customer didn't supply this information); as a result, its emailList is empty.
那就是说明了，如果我们不眷顾我们家里的人，我们的信仰告白就是空的。
That's why our profession of faith is hollow if we are not caring for our own family.
他不许空的诺言，也不找怯懦的借口，说他的手被世界上比他自己更强大的力量束缚住了。
He made no empty promises, nor the craven excuse that his hands were tied by more powerful forces in the world than himself.
突然，我想到了一个好办法：记笔记时我为什么不写一行空一行呢？
Suddenly I hit upon an idea: why not leave every other line on my note paper blank?
麦克斯：不，这只是个兼职，是个插空的活儿。应付一下花销罢了。你喜欢当律师吗？
Max: No, this is part-time. This is a fill-in job. Pay the bills. How do you like to be a lawyer?
第一行输入包含一个字符串。它一定一个非空，只含小写字母，且长度不超过100的串。
The first input line contains the string. It's guaranteed, that the string is non-empty, consists of lower-case Latin letters, and its length doesn't exceed 100.
床后若为空，传统风水称之为“太阳不着星”，容易给人不踏实之感。
If the bed is empty, the traditional feng shui called "the sun is not a star", easy to give a sense of not practical.
不这样做，没有团结和进步，所谓抗战只是空唤，抗日胜利是没有希望的。
Without opposing all these and without unity and progress, "resistance" will be just empty talk and victory a vain hope.
他在太空行走吗？不，他仅仅挂在舱门边不敢离开。也许他害怕一旦松手就会立刻成为漂浮在地球外空的宇宙垃圾！
Was he walking? He just hung near the door without letting go. Maybe he was afraid he would become space garbage floating above the Earth if he let go.
逆温层内部湍流强度的时-空变化是不连续的，动量和热量的输送在时间上是阵性的，在高度上是分层的。
The time-height variation of turbulent intensity in the inversion layer is incontinuous, the transfer of momentum and heat is gusty with time and sandwich with height.
也许你今天赚了，明天又赔了，最后忙了个竹蓝子打水一场空，怎样做到不赔钱？
Maybe you earned today, tomorrow and compensate, finally had a busy draw water with a sieve, how do not loss?
录音中有一段对话，对话听两遍，然后根据短文内容完成下列表格。（每空不超过三个单词）
You will hear a conversation. The conversation is about the lifestyle of Lucy. After you hear it twice, fill in the blanks with proper words.
许多类别不包含多个实例，因此，您可以保持此属性为空，指示没有实例与此类别关联。
Many categories do not contain multiple instances, so you can leave this property empty to indicate that no instance is associated with the category.
许多类别不包含多个实例，因此，您可以保持此属性为空，指示没有实例与此类别关联。
Many categories do not contain multiple instances, so you can leave this property empty to indicate that no instance is associated with the category.
应用推荐