# Documents

Documents in Atfinity can also be matches. You can use the special Ontologies `Document` and `Proof` for that. In addition, there are also the roles `Provided` and `Generated`.

When matching documents (e.g. in a meta document), you can access information about the document you are matching. For example, if you say `d is Document` you can request informatin about the document you have just matched. 

You can request these information:

<table data-header-hidden><thead><tr><th width="315">Property</th><th>Description</th></tr></thead><tbody><tr><td>Property</td><td>Description</td></tr><tr><td><code>d.key</code></td><td>The key of the document, e.g. <code>kyc_for_entity</code></td></tr><tr><td><code>d.__disabled</code></td><td>Whether the document is disabled or not</td></tr><tr><td><code>d.__hidden</code></td><td>Whether the document is hidden or not</td></tr><tr><td><code>d.__before_toc</code></td><td>Wether the document appears before the table of contents or not</td></tr><tr><td><code>d.__to_be_signed</code></td><td>Whether the document should be signed or not</td></tr><tr><td><code>d.__create_missing_values</code></td><td>Whether the document creates missing values in the case or not</td></tr><tr><td><code>d.__document_type</code></td><td>The type of the document, e.g. PDF or ADX</td></tr><tr><td><code>d.__instances</code></td><td>A list of the matched instances of the document</td></tr><tr><td><code>d.__instances_by_key</code></td><td>A dictionary of matched instances of the document. The keys is the name of the match, e.g. "p" and the value is the instance or a list of instances</td></tr></tbody></table>