chain wrench: another name for chain tongs
chain tongs: a pipe wrench used for turning large pipes; an adjustable chain circles the pipe with its ends connected to the head whose teeth engage the pipe
semidiameter: the apparent radius of a celestial body when viewed as a disc from the earth