Home / Glossary / Meta-assertion

A meta-assertion is an assertion about another assertion in the KB. Stated another way, a meta-assertion is an assertion having another assertion as one of its arguments. Common examples of meta-assertions are assertions made with the predicate #$salientAssertions and pragmas. For more information, see Making, Editing, and Removing Assertions.