Knowledge Base for Post-Fire Safe-Shutdown Analysis