智异山，成桂捕获了数千匹马为战利品，是为荒山大捷。
考証.「阿只拔都」，大概可以解释为「小勇士」，这是高丽兵对他的称唿，「阿只」是朝鲜语，意思是儿子；「拔都」是蒙古语，意思为勇士。他的家系不明，可能出自九州松浦党的武士、蒙古系济州岛人，或者高丽人、琉球人。