Лучше использовать терминологию теории множеств (так меньше многозначностей). Тогда:
Множество Самолёт - это совокупность подмножеств:
Самолёт:Компоненты
Самолёт:Лётные возможности
Набор компонентов:По способность летать
Набор компонентов:Без способность летать
Набор компонентов:Со способность летать
Вариант с топливом/его отсутствием:
Самолёт с топливом
Самолёт без топлива:Ресторанные возможности
Теорему Гёделя всегда нужно помнить, а ещё лучше её возможное визуальное отображение