a pool ball is a kind of object
eight_ball is pool_ball. eight_ball is not pool_ball. pool_ball is not ball. pool_table is game_equipment. pool_ball is ball. cue_ball is pool_ball. pool_ball is not convex_tangible_object. pool_ball is convex_tangible_object.