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.