Cyc_string2symbol Cyc_symbol2string

Cyc_string2symbol() object Cyc_string2symbol ( void *  d, object  str  )