Some top-level ontologies

Here, we list some kind-of hierarchies of first order types. We do not address ontologies which are "theories" such as the ontologies of KSL (Stanford). (You migh also want to read this introduction to ontologies and this description of ontology-related concepts and tasks).

Concept type top-level ontologies

Relation type top-level ontologies