F9 KO小鼠是利用基因编辑技术敲除小鼠F9基因所构建的血友病B疾病模型。F9 KO小鼠体内F9 mRNA表达缺失，并出现凝血功能障碍等血友病B相关表型，可用于人类血友病B的遗传机制和临床表型的研究，助力治疗药物的开发、筛选和评价。该模型纯合子是可存活且可育的。小鼠在断尾后会出现致命性失血，剪尾后必须采取及时的止血措施如烧灼尾部切口，防止敲除纯合子小鼠失血和死亡。