Integration of external ontology on TypeDB

[jfferson]

I wrote this motivated by the website section talking about complex queries and support for rules. Turns out there is an ontology I have been using, SUMO with many base rules and relations defined and entities. I just have some question about if it is possible to define new types of relations. Porting SUMO ontology to typedb is something I am very much interested on doing and there is also an environment included which supports integration with provers