Class DefinitionTerm