Examples of using Semantics in English and their translations into Chinese
{-}
-
Political
-
Ecclesiastic
-
Programming
In particular, architectural descriptions written in Rapide, Darwin, or Wright are precise expressions in formalisms that are defined using an underlying mathematical semantics.
The primary motivation for Lorenzen and Kuno Lorenz was to find a game-theoretic(their term was"dialogical" Dialogische Logik) semantics for intuitionistic logic.
Lorenzen和KunoLorenz的主要动机是为直觉主义逻辑找到一种博弈论（他们的术语是"对话式"DialogischeLogik）语义。Our digital world will interact with our physical world seamlessly, so that our physical actions can have semantics, and vice-versa.
我们的数字世界将与物理世界无缝地交互，因此我们的物理行为可以具有语义，反之亦然。You will be able to move between Linux, Windows, and OS X and not have to re-learn the tools, their syntax, or semantics.
您可以在Linux、Windows和OSX之间转移，而无需重新学习它们的工具、语法或语义。That means, a BPMN process can be deployed and executed on different environments provided they support BPMN 2.0 execution semantics.
这意味着，BPMN流程能被部署和执行于支持BPMN2.0执行语义的各种环境中。The Credential Management API, enabled in Chrome 51, defined a framework for handling credentials that included semantics for creating, getting, and storing them.
在Chrome51中启用的CredentialManagementAPI定义了一个框架，用于处理包含用于创建、获取和存储凭据语义的凭证。The semantics in REST are based on the set of HTTP operations and looks as follows[5].
REST中的语义基于HTTP操作集，如下所示[5]：.Extensions(Section 9) MAY change the semantics of how data is read, specifically including what comprises a message boundary.
扩展（第9章）可能改变如何读取数据的语义，具体包括什么组成消息的边界。In proof-theoretical semantics a sentence is identified by the set of all its proofs with a common inferential structure.
在证明理论的语义学中，一个句子是由它所有的证明集以一个共同的推理结构来识别的。In addition a semantics may be given which defines truth and valuations(or interpretations).
之外，有时也可以给定一个语义，用以定义真值和赋值（或解释）。Levitt, who studies health-insurance issues, said Iowa's bill centers on"semantics," by declaring one type of health coverage is not actually insurance.
研究健康保险问题的莱维特说，爱荷华州的法案以“语义学”为中心，宣布一种健康保险并不是保险。This is slightly different semantics from Python's builtin str() function, but the difference is needed in a few places within Django's internals.
这与Python的内建str()函数的语义略有不同，但在Django内部的一些地方需要区别。Furthermore, it would not be necessary to indulge into semantics of what constitutes a" people" either.
另外，也没有必要在语义学上穷究"人民"的构成。The rule for VP just percolates up the semantics of the IV, and the interesting work is done by the S rule.
VP的规则只是向上渗透IV的语义，有趣的工作由S规则来做。Semantics, symbolic logic, psychoanalysis- they had all been devices whereby speech could either be refined or by-passed….
语义学，符号逻辑，精神分析--它们都是言语可以被提炼或通过的装置。(In short, for every hour spent on semantics, 8 hours will be spent on the syntax of comments).
简言之，如果在语义上花1小时来讨论，那将在注释语法上花8小时）。Somewhat ironically, at the very same time General Semantics was investigating the idea that mental activity had a direct correlation to physiological activity.
具有讽刺意味的是，与此同时，“通用语义学”则在研究这样的假设：心理活动对生理活动具有直接的制约性。He does research in computer theory, including semantics, verification, machine-checked proof, logic, complexity, and algorithms.
他从事计算机理论研究，包括语义学，验证，机器检验证明，逻辑，复杂性和算法。I know it is semantics but I believe many people confuse attractive with attraction.
我知道这是语义学，但我相信很多人把吸引力和吸引力混淆了。Compositional semantics remains an open problem and it is a current crucial research topic in NLP.
组合语义学仍是一个悬而未决的问题，它也是NLP领域当前一项关键的研究课题。
