複数の分類に属するものがあっていいだろ
抽象度によっては積集合のAかつBとかあってもいいし