问：门静脉及肠系膜上静脉栓塞，肝硬化，脾大，门脉高压，侧支循环形成，门静脉及肠系膜上静脉栓塞时间：2年症状：咳嗽，发烧，腹胀，两肋疼痛。
答：请问诊断是“栓塞”还是“血栓形成”？