A General Model for Representing Knowledge and Its Application to Intelligent Systems Based on AI