| 词汇 | axiom |
| 释义 | axiom noun[ C ] uk /ˈæk.si.əm/ us /ˈæk.si.əm/ formal a statement or principle that is generally accepted to be true, but need not be so: （被普遍接受的）公理，原则 It is a widely held axiom that governments should not negotiate with terrorists.政府不应与恐怖分子谈判，这是一个普遍认可的原则。 science specialized a formal statement or principle in mathematics, science, etc., from which other statements can be obtained: （数学、自然科学等的）公理 Euclid's axioms form the foundation of his system of geometry.欧几里得公理构成了其几何体系的基础。 Philosophy aesthete aesthetic aesthetically anthropocentric anthropocentrism epistemologically epistemology essentialism existential existentialism nihilistic non-deterministic non-philosophical notional ontological spatio-temporal spatiotemporally superorganic supersensible syllogism You can also find related words, phrases, and synonyms in the topics: Calculations & calculating axiom | American Dictionaryaxiom noun[ C ] us/ˈæk·si·əm/ a statement or principle that is generally accepted to be true Examples of axiomaxiom Next, they study and prove some axioms of the virtual fundamental class. The main lexical elements, which the various systems learn, are words and the main ontological elements are concepts, relations and axioms. There is work ongoing to extend it to learn implicit axioms from text too. In this system the explicit axioms in conditional and quantified sentences in input texts are learned. The explanatory frame axioms can also be expressed in terms of the auxiliary variables. Further, state invariant axioms are included that describe the relationships between -uents within a state. Frame axioms are expressed either by classical frame axioms or by explanatory frame axioms. The simulation process is accomplished by deduction with logical axioms, describing abnormal behaviour, and assumed (abnormal) states. Axioms of the form (6)+(9) are now taken as the (abnormality) axioms. Ultimately, this layered metaphor can be extended to check the ontological axioms themselves against another set of axioms, meta-axioms, which could come from another ontology. Foundational theories provide the semantics for the ontology and their axioms serve as a basis for the implementation of competency questions. The use of ontologies (with axioms) within multi-agent systems is a topic that has recently received much attention. The categorically minded reader will recognise these axioms as the unit, multiplication and functoriality axioms for a monad. The axioms from (le1) to (le6) simply add write effects to assertions. Another way to state this fact is to reason syntactically about the axioms. See all examples of axiom These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。