world war Deductions type of war is for example world war ⇐ (world war is a type of war), (is a is inverse of is for example) world war is for example World War I ⇐ (World War I is a world war), (is a is inverse of is for example)