char * name(void)
Returns a pointer to internal memory containing the name of the KIF object (if appropriate).