assertion

Definitie van een feit of regel in een kennissysteem: declaratieve kennis over iets dat bijvoorbeeld waar is of juist niet.