Added KB Calling methods (incomplete)

Wumpus world axioms (not exhaustive)