What is knowledge? How can the knowledge be explicitly represented? Many scientists from different fields of study have tried to answer those questions through history, though seldom agreed about the answers. Many representations have been presented by researchers working on a variety of fields, such as computer science, mathematics, cognitive computing, cognitive science, psychology, linguistic, and philosophy of mind. Some of those representations are computationally tractable, some are not; this book is concerned only with the first kind