KB Bio 101 Exported Knowledge Base
The full KB Bio 101 knowledge base exported from SRI's AURA system. It is offered as a downloadable archive in five logic serializations (first-order predicate logic, TPTP FOF, Answer Set Programming, SILK rule language, and OWL2), available as single-file or per-concept file versions.