Примери за axiom

• 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.