Converting the Suggested Upper Merged Ontology to Typed First-order Form