- the act or an instance of instantiating
- the representation of (an abstraction) by a concrete example
- logic
- the process of deriving an individual statement from a general one by replacing the variable with a name or other referring expression
- the valid inference of an instance from a universally quantified statement, as David is rational from all men are rational
- a statement so derived