1、They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.───它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。
2、rdfs . Then, automatic reasoning with RDF and RDFS becomes possible, even though a first-order logic proof system is required.───然后，自动推理与RDF和rdfs成为可能，即使一阶逻辑证明XiTong的需要。
3、Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.───描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
4、Godel's completeness shows that in the case of the first order logic the syntactical and semantical characters of reasoning coincide.───完全性定理是说一阶逻辑对推理的语法和语义刻画重合的；
5、The first-order logic has accomplished that better than relevant logic through common individual variables.───一阶逻辑通过共享个体变元比相干逻辑更好地做到了这一点。
6、Although continuous first-order logic was introduced quite recently, it has already been applied to analysis and probability theory.───虽然连续逻辑才刚被引入，它已在数学的分析学以及概率论中得到很多的应用。
7、HOL is more expressive than first-order logic and enables a concise description of complex properties.───HOL比一阶逻辑更有表现力，能给复杂逻辑更加简洁的描述。
8、Continuous first-order logic is an analog of classical first-order logic.───连续一阶逻辑是经典一阶逻辑的一个类比。
firstorder logic（意思翻译）
一阶逻辑
firstorder logic（相似词语短语）
1、logic bomb───逻辑ZhaDan（程序）；[计]逻辑ZhaDan
2、sophism logic───诡辩逻辑
3、chop logic───v.强词夺理；咬文嚼字；强词夺理；争辩
4、cartesian logic───笛卡尔逻辑
5、logic puzzles───逻辑猜谜
6、circ logic───电路逻辑
7、swirl logic───漩涡逻辑
8、effectual logic───有效逻辑
9、logic───n.逻辑；逻辑学；逻辑性
firstorder logic（双语使用场景）
1、They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.───它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。
2、rdfs . Then, automatic reasoning with RDF and RDFS becomes possible, even though a first-order logic proof system is required.───然后，自动推理与RDF和rdfs成为可能，即使一阶逻辑证明XiTong的需要。
3、Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.───描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
4、Godel's completeness shows that in the case of the first order logic the syntactical and semantical characters of reasoning coincide.───完全性定理是说一阶逻辑对推理的语法和语义刻画重合的；
5、The first-order logic has accomplished that better than relevant logic through common individual variables.───一阶逻辑通过共享个体变元比相干逻辑更好地做到了这一点。
6、Although continuous first-order logic was introduced quite recently, it has already been applied to analysis and probability theory.───虽然连续逻辑才刚被引入，它已在数学的分析学以及概率论中得到很多的应用。
7、HOL is more expressive than first-order logic and enables a concise description of complex properties.───HOL比一阶逻辑更有表现力，能给复杂逻辑更加简洁的描述。
8、Continuous first-order logic is an analog of classical first-order logic.───连续一阶逻辑是经典一阶逻辑的一个类比。