Title: Logic of Knowledge Base (A Nyaya Reader for Designing Computational Lexicon)