Consistency check through FOL translation

[mereolog]

Description

⚠️ Experimental pull request ⚠️

This is enable us to check the consistency of FIBO in a reasonable time.

Fixes: #ISSUE_NUMBER

Checklist:

• [X] I'm familiar with the FIBO developer quide. My contribution meets all the requirements described there.
• [X] My contribution follows the principles of best practices for FIBO.
• [ ] My changes have been reconciled with latest master and no merge conflicts remain.
• [ ] This PR is related to exactly one issue. The issue is referenced by using a GitHub keyword such as "fixes", "closes", or "resolves".
• [ ] Hygiene tests have been applied by a PR with "(WIP)" in title.
• [ ] The issue has been tested locally using a reasoner (for ontology changes).