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