Lexical semantics
Semantics
Logical consequence
Computational linguistics
Natural language processing
Entailment
WordNet
Hyponymy
Textual entailment
Linguistics
Logic
Science