„Axiome: Axiome sind Aussagen innerhalb der Ontologie, die immer wahr sind. Diese werden normalerweise dazu verwendet, Wissen zu repräsentieren, das nicht aus anderen Begriffen abgeleitet werden kann (z. B. "Zwischen Amerika und Europa existiert keine Zugverbindung.").“ https://de.wikipedia.org/wiki/Ontologie_(Informatik)
„Typen: Typen repräsentieren Objekttypen in der Ontologie und stellen die zur Verfügung stehenden Typen in Klassen dar. Diese werden anhand vorher definierter Begriffe erzeugt und als Types bezeichnet (z. B. Stadt als Typ des Begriffs topologisches Element der Klasse Punkte oder Fluss als Typ des Begriffs topologisches Element der Klasse
„Begriffe: (im Englischen: concepts, oft mit dem falschen Freund „Konzepte“ übersetzt): Die Beschreibung gemeinsamer Eigenschaften wird als Begriff definiert (z. B. „Stadt“ oder „Land“). Begriffe werden auch als Klassen bezeichnet. Diese können in einer Klassenstruktur mit Über- und Unterklasse angeordnet werden.“ https://de.wikipedia.org/wiki/Ontologie_(Informatik)
„Eine Tatsache, auch Fakt oder Faktum (factum, res facti; altgriechisch πράγματα), ist je nach Auffassung ein wirklicher, nachweisbarer, bestehender, wahrer oder anerkannter Sachverhalt.“ https://de.wikipedia.org/wiki/Tatsache
„Eine Theorie ist im Allgemeinen eine durch Denken gewonnene Erkenntnis im Gegensatz zum durch Erfahrung gewonnenen Wissen. In der Wissenschaft bezeichnet Theorie abweichend ein System wissenschaftlich begründeter Aussagen, das dazu dient, Ausschnitte der Realität und die zugrundeliegenden Gesetzmäßigkeiten zu erklären und Prognosen über die Zukunft zu erstellen. In den geisteswissenschaftlichen