public void setUp()
{
StandardizeApartIndexicalFactory.flush();
weaponsKB = new FOLKnowledgeBase(DomainFactory.weaponsDomain());
kingsKB = new FOLKnowledgeBase(DomainFactory.kingsDomain());
}
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);
}