Grammar
Knowledge representation
Semantic similarity
Grammatical case
Function
Similarity
Ontology
Entity-relationship model
Type theory
Mathematics
Science
Logic