"kirkekonge" er et 10-bokstavers substantiv som brukes som synonym for "kirkelederer". kirkelederer betyr: Historisk betegnelse på en kirkelig leder med kongelig makt.