Semi-Automatic Mapping of WordNet to Basic Formal Ontology