您要查找的是不是：
- inconsistent formal system 不相容形式系统
- She can always pick a hole in any formal system. 她经常能挑出任何正式制度的破绽。
- Is there a formal system for registration of cleaning contractors? 有否一套正式的承办商登记制度?
- Is there a formal system of listing or registration of consultants? 有否正式制定一套顾问登记制度?
- Is there a formal system of listing or registration of security contractors? 有否正式制定一套保安服务承办商登记制度?
- This population profile demands that we put in place a formal system of retirement protection in Hong Kong as early as possible. 面对这个人口情况，我们有需要尽早制定一个正式退休保障制度。
- Does the Supplier have a formal system for review and validation of design input requirements? 供应商是否有一个关于设计输入要求的审核与确认体系
- Law is an important part of formal system, and efficient law can provide effective incentive mechanism. 摘要法律是正式制度的重要组成部分，有效率的法律能提供有效的激励机制。
- RDF/ RDF Schema is a sound and complete formal system, which has BNF formal syntax and model theory based formal semantic. RDF/RDFS是一个完整的形式化系统,具备BNF形式语法、基于模型理论的形式语义,是一个完备、可靠的形式化系统,从而保证了RDF描述语义推理的形式正确性。
- "Is there a formal system to provide feedback to Product Engineering, Process Engineering and Operations for microsection failures? 是否当作业员发现切片试验不良时，有正式的系统反馈给前工程，生技？"
- The college has a highly formalized system of assessment. 这所学院有一套十分固定的评估体系。
- The idea of a formal system--a collection of rules and axioms which define a universe of logical proofs--is what gives us programming languages and modern-day programming. 一个形式系统的想法 --一次确定合乎逻辑的证据的宇宙的规章和公理的收集 --是给我们编程语言和现代编程的。
- The author examines respectively the legitimacy of the interpretating capacity of Buddhism and the related questions of interpretating paradigm, wisdom-verifying structure and formal system. 作者分别以“解释范式”、“智证结构”、“形式系统”三个维度对佛教的证明能力及相关性问题进行了合法性审查。
- His accounts of the event were inconsistent. 他对那件事情的说法前后不一致。
- Now there are many deontic logic formal systems, e.g. naive deontic logic systems OK. , OS5*,alethic deontic logic systems, e.g. MK, MS5*, etc. 到日前已有若干道义逻辑形式系统，例如朴素道义逻辑系统OK、OS5~*，真值道义逻辑系统MK、MS5~*，等等。
- The consistency of a formal system of arithmetic cannot be proved by means formalizable within that system. 算术的形式系统的自洽性不可能通过该系统的形式化途径而得到证明。
- Such behaviour is inconsistent with her high-minded principles. 这样的行为与她情操高尚的原则是格格不入的。
- We were invited to a formal luncheon. 我们被邀参加一次正式的午宴。
- Such behavior is inconsistent with her high-minded principles. 这样的行为与她情操高尚的原则是矛盾的。
- He cast his last remark in more formal wording. 他用更正式的措词表达了最后一句话。
