Symbol: SMT_RDF_CLASS