A vertebrate having a constant body temperature and characterized by the presence of feathers.
(Slot-Cardinality Bird _Constant-Temperature 1) (=> (Bird ?Self) (Exists (?A) (And (Component ?Self ?A) (Feathers ?A))))