Formal Definition structured specification of facts that are true for a given domain
structured specification of facts that are true for a given domain