蹏（tí）：同“蹄”。枹（fú）罕：县名。治今甘肃临夏东北。

卤城：地名。在今甘肃天水、甘谷之间。

陇右：泛指今陇山以西地区。

青龙：魏明帝曹叡年号（233—237）。

兰坑：地名。在今甘肃西和东。

北原：地名。在今陕西岐山南。

盛兵：大举出兵。

阳遂：地名。在今陕西眉县西。

太和二年，蜀国丞相诸葛亮率军出祁山来攻，派遣将军马谡进驻街亭，将军高详驻扎列柳城。张郃进军攻击马谡，郭淮进军攻击高详，都打败了对手。郭淮又在枹罕击败陇西著名的羌族首领唐蹏，加官建威将军。太和五年，蜀军出卤城来攻。当时，陇右地区没有粮食，众人议论想从关中大规模运送粮食。郭淮采用恩威并施的办法安抚羌族，让他们家家交出粮食，并公平摊派，军粮供应因此得到保证，朝廷转任他为扬武将军。青龙二年，诸葛亮又率军出斜谷来攻，并在兰坑一带屯田。当时司马懿驻扎在渭水南岸；郭淮预测诸葛亮一定会来争夺北原，认为应先出兵占据，一起商议的人大多认为这样做不好。郭淮说：“假若诸葛亮渡过渭水占据北原，就可以和北面山区的叛军联合，断绝通往陇西的道路，惊扰那里的汉族与少数民族百姓，这可不是对国家有利的事情。”司马懿认为郭淮说得很对，于是郭淮率军进驻北原。堑壕和壁垒还没有修好，蜀汉的大军就蜂拥而至，郭淮率军迎击。过后几天，诸葛亮指挥大批军队西进，众将都认为蜀军要攻打本方西面的营垒，只有郭淮一人认为，诸葛亮故意做出西进的态势，想引诱本方以重兵向西应战，他真正的意图一定是进攻阳遂。当天夜里，蜀军果然进攻阳遂，因为城中有防备，没能得手。