Zhuge Liang
229年、蜀の陳式が武都・陰平を攻撃してきた。迎撃に出たが、諸葛亮自ら建威に出陣してきたため敗れ、両郡を奪われた（「諸葛亮伝」）。