GEKATOO: a general knowledge acquisition tool