AIMA.Test.Core.Unit.Logic.Fol.Inference.FOLTFMResolutionTest.testFullFOLKBLovesAnimalQueryKillsJackTunaFalse C# (CSharp) Метод

        public void testFullFOLKBLovesAnimalQueryKillsJackTunaFalse()
        {
            // This query will not return using TFM as keep expanding
            // clauses through resolution for this KB.
            testFullFOLKBLovesAnimalQueryKillsJackTunaFalse(new FOLTFMResolution(
                    10 * 1000), true);
        }