This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。

youdao

It is an illogical reasoning process for those children who fail to master transitive inference in the reasoning processing.

未掌握传递性推理的儿童进行推理时基本上属于非逻辑的理性加工。

youdao

It's a prototype that shows the possibilities of type inference in a Ruby-like language, rather than a new language for programmers to use.

这是一个原型，用来展现以一种类ruby语言而不是一种新语言来实现类型推断的可能性。

youdao

And in fact, hazing through cognitive dissonance draws the inference that this is really, really valuable and this is why it exists.

事实上，根据认识失调来运用欺负新人这个手段得出一个结论,这个理论非常有价值，这就是为什么它会存在。

耶鲁公开课 - 心理学导论课程节选

What about the fact that-- We said there's a family of arguments, all of which have the general structure, inference to the best explanation, you need souls in order to explain feature F. Plug in a different feature F and you get a new argument.

这个事实怎么样,我们说过有一大类观点,它们有一些共同的结构,有关于这个最佳解释的推论,需要用灵魂的概念,来解释功能特征F,代入一个不同的,功能特征就会得到一个新的论点

耶鲁公开课 - 死亡课程节选

These are grave moments, akin to another inference in a courtroom with so much at stake.

FORBES: Witnesses and Accomplices

The clear inference would be that, in any future terrorist attack, the United States would be unlikely to blame it on Iraq if the attack could plausibly be identified as the work of Muslim extremists.

CENTERFORSECURITYPOLICY: Danger in the Air: Flights to Baghdad Offer Saddam

Not until after the lawsuit had been filed by Nationwide did Zouheil take steps to see that his wife had an interest in the Janke transaction, the inference being that the promissory note was made out to husband and wife only to avoid any judgment in the Nationwide case and not with the intention of making the note community property.

CENTERFORSECURITYPOLICY: converter