These are manually authored and automatically generated axioms in first-order logic, including Jerry Hobbs's base theories and more recent elaborations motivated by DARPA's Communicating with Computers program.
This work is supported by Contract W911NF-15-1-0543 with the US Defense Advanced Research Projects Agency (DARPA).