a horse is an animal a frog is an animal a lamp is not an animal is a horse an animal? -> yes is a frog an animal? -> yes is a horse a frog? -> unknown is a lamp an animal? -> no