烈祖明皇帝上之下太和四年（公元230年） 大司马曹真以汉人数入寇由斜谷伐之诸将数道并进，可以大克帝从之，诏大将军司马懿溯汉水由西城入，与真会汉中，诸将由子午谷、由武威入司空陈群谏曰太祖昔到阳平攻张鲁，...