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:
Man :: Person.
Greg : Man.
the query
?x : Person.
will include
?x = Greg
as one of the solutions, because Flora has built-in rules that define how sub-classing works.