a block is a kind of object
block is not solid_object. slab is block. type is block. block is solid_object. block is not convex_tangible_object. type is not block. starting_block is block. block is convex_tangible_object. bad_block is block. toy_block is block.