- universal knowledge ontology

- automating truth and proof