0 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. 政府不應與恐怖分子談判,這是一個普遍認可的原則。
Euclid's axioms form the foundation of his system of geometry. 歐幾裡得公理構成了其幾何體系的基礎。
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.