„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
„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
„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
„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
