# Controlled vocabularies whose kind is predicate-type

> 6 records

This index as JSON: https://banes-lab.com/json/api/facets/vocabulary/kind/predicate-type

## Entries

- [invariant](https://banes-lab.com/records/vocabulary/predicate-type-invariant.md): A claim that a property holds in every state the surface reaches.
- [equivalence](https://banes-lab.com/records/vocabulary/predicate-type-equivalence.md): A claim that two representations produce the same result.
- [bound](https://banes-lab.com/records/vocabulary/predicate-type-bound.md): A claim that a measured value stays within a limit.
- [temporal-order](https://banes-lab.com/records/vocabulary/predicate-type-temporal-order.md): A claim that one event happens before another.
- [schema](https://banes-lab.com/records/vocabulary/predicate-type-schema.md): A claim that a value has its declared shape.
- [absence](https://banes-lab.com/records/vocabulary/predicate-type-absence.md): A claim that something does not occur, over a declared population.