The Comprehensive Terrorism Knowledge Base in Cyc