Skolem preprocessing using WordNet and lexicon in building effective knowledge representation | IEEE Conference Publication | IEEE Xplore