Another way to say "A jacket is a short coat" is "Short coats are jackets."