AIMA.Core.Logic.FOL.Domain.DomainFactory.knowsDomain C# (CSharp) Метод

        public static FOLDomain knowsDomain()
        {
            FOLDomain domain = new FOLDomain();
            domain.addConstant("John");
            domain.addConstant("Jane");
            domain.addConstant("Bill");
            domain.addConstant("Elizabeth");
            domain.addFunction("Mother");
            domain.addPredicate("Knows");
            return domain;
        }