A project to engineer formal models of the world. AFH provides the infrastructure: hypergraphs, ontologies, and reasoning systems for building machine-readable knowledge.