Definition of "Pilatus" :

Definition: "Pilatus" is a geographical name.