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

Документация по классу FOLTFMResolutionTest Показать файл Открыть проект

testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds() приватный Метод

private testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds ( ) : void
Результат void 
        public void testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds()
        {
            testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(new FOLTFMResolution());
        }
FOLTFMResolutionTest
testDefiniteClauseKBKingsQueryCriminalXFalse
testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds
testDefiniteClauseKBKingsQueryJohnEvilSucceeds
testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds
testDefiniteClauseKBKingsQueryRichardEvilFalse
testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds
testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds
testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds
testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds
testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds
testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds
testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds
testEqualityAxiomsKBabcAEqualsCSucceeds
testEqualityNoAxiomsKBabcAEqualsCSucceeds
testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds
testFullFOLKBLovesAnimalQueryKillsJackTunaFalse
testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds
testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew