thf0 - the core of the tptp language for higher - order logic .
Towards a standard upper ontology