There you can annotate your non SBML models with biological terms (MIRIAM annotations). As a cool extra you can view you model source code with inserted biological infomation.
Together with this http://www.semanticsbml.org/semanticSBML you can serach for similar BioModels. The similarity search is based on MIRIAM annotations that are attached to you model. AYM also allows you to create annotations without
Experimental approaches to evaluate cellular response to Potassium limitation. For this purpose, a series of isogenic strains derived from BY4741 and lacking one (TRK1 or TRK2) or both TRK genes encoding specific potassium uptake systems was constructed using the homologous recombination and Cre-lox system.