.. _section-Built-in Rules:

Built-in Rules
~~~~~~~~~~~~~~

Besides user-defined rules as described above, Flora also has built-in rules for ontological reasoning, based on class axioms. For example, given the statements:

.. code-block:: flora

    Man :: Person.
    Greg : Man.

the query

.. code-block:: flora

    ?x : Person.

will include

.. code-block:: flora

    ?x = Greg

as one of the solutions, because Flora has built-in rules that define how sub-classing works.