Lino is now very expensive because it its practically made to order, and the owner would have been careful to tell you about it, If its 15 years old I doubt it . Original lino had disappearred and the newly introduced stuff wasnt about then. If it is it should it should just be wiped with linseed oil, after cleaning with a mild detergent
Its probably a plastic or a vinyl. If its soft , its a cushionfloor type, machine scrubbing on them is a bit of a pain, as it may damage but also heavy on the wrists because of the shudder