Refactored kb::knowledge_base_t as a singleton class.
Refactored phillip_main_t as a non-singleton class.