This repository contains the formalization of the Unified Foundation Ontology (UFO) in first order logics (FOL). This formalization is mainly represented in TPTP syntax and its consistency is checked with support of the System on TPTP service.
The main files in this repository are the following:
- formalization.pdf: a report document of the formalization
- formalization.tex: the Latex source for the formalization's report
- ufo_2021.tex: the main formalization file containing the specification of UFO in TPTP