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.