From the Autodesk App Store:
With IFC Exporter you can export any file (or parts of large files) that can be opened in Autodesk® Navisworks® to the IFC format (IFC2x3 or IFC4). When exported, Navisworks model items can be mapped to corresponding IFC objects. This plugin will export both the model geometry and the related data (Property Sets).
The plugin functions in 2 different ways. The straightforward way is to select model items (selection) that you want to export from the Navisworks…