Why isn't a property exported to checking rules?
You will not be able to export a property into checking rules in two cases.
First, the most important, the property is not marked as required for the particular export setting you are using.
Secondly, the property does not have any mapping to IFC Format, that you have selected in export settings.
To find out the reason, filter the property in Requirements using Filter, and recheck the above.
If you are not able to see the columns for requirements, use Requirements View and click on the Use Cases you have selected in export settings and save the view.
If you are not able to see the columns for mappings to IFC, use General View and click on the IFC versions you would like to work with and save the view.