A concise, cross-linked reference. Each entry connects to related concepts and the articles that go deeper.
Browse by topic
A formal language for representing knowledge in terms of objects, their properties and relations, and quantification over them.