Formal names for all the character properties can be found in the file PropertyAliases.txt
in a semicolon delimited format. This file is part of the Unicode Character Database
which is more fully described in the documentation file for the UCD
. The documentation should tell you which name goes with which property.
The Unicode Character Database (UCD) is a very rich repository of machine readable information on Unicode characters, but the way it is presented in files is a bit quirky. You would be well advised to take some time to carefully study the documentation as well as the description of character properties in chapters 3 and 4 of the Unicode Standard.