Formal Ontology

ist eine eigene wissenschaftliche Disziplin, die versucht Dinge, Strukturen und Prozesse formal auf Grundlage von Kategorien zu beschreiben.
Beispiel für eine solche Beschreibung ist die "General Formal Ontology":