Yes, jewel orchids and Vanilla orchids are both considered ground orchids. So are Habenarias for that matter. Even some Epidendrums are considered ground orchids.
Jim
"Advertising may be described as the science of arresting the human intelligence long enough to get money from it." -- Steven Leacock