“Knowledge extraction” isn't a real NLP term, I just came up with it to classify these methods that extract some kind of knowledge from text: definitions, axiomatic knowledge, etc.