Is a person of age 17.5 a children? I don't care enought o go back and read again what RMS was talking about but I am sure he was not refering of 12 years old

Is a person of age 17.5 a children? I don't care enought o go back and read again what RMS was talking about but I am sure he was not refering of 12 years old children.