Built-in parts in wall

Thanks for the file. Is there a way to export an IFC file from Blender?