Building a Knowledge Base for AI