Title: 'Financial Report Ontology (FRO)'.
Author: 'Charles Hoffman, CPA'.
Namespace: 'http://www.xbrlsite.com/2015/fro/us-gaap/owl/fro'.


Part-1: Elements of a financial report.

Every asset is a financial-report-element.
Every liability is a financial-report-element.
Every equity is a financial-report-element.
Every investment-by-owner is a financial-report-element.
Every distribution-to-owner is a financial-report-element.
Every comprehensive-income is a financial-report-element.
Every revenue is a financial-report-element.
Every expense is a financial-report-element.
Every gain is a financial-report-element.
Every loss is a financial-report-element.

Part-2: Parts of a financial report.

Every primary-financial-statement is a report-part.
Every parenthetical-comment is a report-part.
Every disclosure-note is a report-part.
Every supplemental-schedule is a report-part.

Every asset is-part-of a balance-sheet.
Every liability is-part-of a balance-sheet.
Every equity is-part-of a balance-sheet.

Every report has-part primary-financial-statement.
Every report has-part a parenthetical-comment.
Every report has-part a disclosure-note.
Every report has-part a supplemental-schedule.

Every revenue is-part-of an income-statement.
Every expense is-part-of an income-statement.
Every gain is-part-of an income-statement.
Every loss is-part-of an income-statement.



Part-4: Types of primary financial statements.

Every balance-sheet is a primary-financial-statement.
Every income-statement is a primary-financial-statement.
Every cash-flow-statement is a primary-financial-statement.
Every statement-of-comprehensive-income is a primary-financial-statement.

Every classified-balance-sheet is a balance-sheet.
Every unclassified-balance-sheet is a balance-sheet.
Every single-step-income-statement is an income-statement.
Every multi-step-income-statement is an income-statement.


Part-5: Disjoined parts.

Every classified-balance-sheet is not a unclassified-balance-sheet.
Every single-step-income-statement is not a multi-step-income-statement.
Every balance-sheet is not an income-statement.
Every cash-flow-statement is not an income-statement.


Every-single-thing is-part-of something.



Something is a primary-financial-statement if-and-only-if-it is a balance-sheet and has-part asset.
Something is a balance-sheet if-and-only-if-it has-part asset and has-part liability and has-part equity.
Something is an income-statement if-and-only-if-it has-part revenue and has-part expense.