AIMA.Core.Logic.FOL.KB.FOLKnowledgeBaseFactory.createKingsKnowledgeBase C# (CSharp) Method

        public static FOLKnowledgeBase createKingsKnowledgeBase(
                InferenceProcedure infp)
        {
            FOLKnowledgeBase kb = new FOLKnowledgeBase(DomainFactory.kingsDomain(),
                    infp);
            kb.tell("((King(x) AND Greedy(x)) => Evil(x))");
            kb.tell("King(John)");
            kb.tell("King(Richard)");
            kb.tell("Greedy(John)");

            return kb;
        }