Axiome

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