The knowledge behind the Combinatorial Statistic Finder; see FindStat.org. This theory graph will be used to make the various systems in the OpenDreamKit project interoperable.