This book provides an in-depth exploration of human commonsense reasoning using formal logic in large-scale knowledge representation. Of special interest to artificial intelligence researchers, linguists, and cognitive and social psychologists, it serves as a foundation for humanlike artificial intelligence.