Bringing Aristotle into the 20Th Century: Computer-Assisted Definition Construction in a Terminological Knowledge Base · Study