Modules for conversion of existing thesauruses into logical axioms.