Method |
Description |
|
testDefiniteClauseKBKingsQueryCriminalXFalse ( ) : void |
|
|
testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds ( ) : void |
|
|
testDefiniteClauseKBKingsQueryJohnEvilSucceeds ( ) : void |
|
|
testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds ( ) : void |
|
|
testDefiniteClauseKBKingsQueryRichardEvilFalse ( ) : void |
|
|
testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds ( ) : void |
|
|
testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds ( ) : void |
|
|
testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds ( ) : void |
|
|
testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds ( ) : void |
|
|
testEqualityAndSubstitutionNoAxiomsKBabcdFFASucceeds ( ) : void |
|
|
testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds ( ) : void |
|
|
testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds ( ) : void |
|
|
testEqualityAxiomsKBabcAEqualsCSucceeds ( ) : void |
|
|
testEqualityNoAxiomsKBabcAEqualsCSucceeds ( ) : void |
|
|
testFullFOLKBLovesAnimalQueryKillsCuriosityTunaSucceeds ( ) : void |
|
|
testFullFOLKBLovesAnimalQueryKillsJackTunaFalse ( ) : void |
|
|
testFullFOLKBLovesAnimalQueryNotKillsJackTunaSucceeds ( ) : void |
|
|
testHornClauseKBRingOfThievesQuerySkisXReturnsNancyRedBertDrew ( ) : void |
|
|