| Line | Axiom | From Term | Predicate | To Term | Commentary | Image | Status |
| 1 | Each ReportSet has one to many Reports. | ReportSet | has-part | Report | A report set is made up of one to many reports. | |
Draft |
| 2 | Each Report has one to many Structures. | Report | has-part | Structure | A report is made up of one to many structures. Another term for structure is fragment of the report. | |
Draft |
| 3 | Each Structure has one to many FactSets. | Structure | has-part | FactSet | A structure has one to many fact sets. For example, a balance sheet structure has two fact sets: the assets roll up and the liabilities and equity roll up. | |
Draft |
| 4 | Each FactSet has one to many Facts. | FactSet | has-part | Fact | A fact set has one to many facts within that set. | |
Draft |
| 5 | Each Fact has one to many Aspects. | Fact | has-part | Aspect | A fact is described by one to many aspects. Actually, since there are three required core aspects; a fact has at least the three core aspects but could have more noncore aspects. | |
Draft |
| 6 | Each Fact has exactly one FactValue. | Fact | has-part | FactValue | A fact must have exactly one fact value. | |
Draft |
| 7 | Each Fact has one to many ParentheticalExplanations. | Fact | has-part | ParentheticalExplanation | A fact may have zero to many parenthetical explanations (i.e. XBRL footnotes). | |
Draft |
| 8 | Each NumericFactValue is a type of FactValue. | NumericFactValue | type-of | FactValue | A fact value could be numeric. | |
Draft |
| 9 | Each NonnumericFactValue is a type of FactValue. | NonnumericFactValue | type-of | FactValue | A fact value could be nonnumeric. | |
Draft |
| 10 | Units is a property of a NumericFactValue. | Units | property-of | NumericFactValue | Units is a property of numeric fact values. | |
Draft |
| 11 | Rounding is a property of a NumericFactValue. | Rounding | property-of | NumericFactValue | Rounding is a property of numeric fact values. | |
Draft |
| 12 | Prose is a type of NonnumericFactValue. | Prose | type-of | NonnumericFactValue | Prose is a type of nonnumeric fact value. | |
Draft |
| 13 | An InformationModelDefinition is a property of a Stucture. | InformationModelDefinition | has-part | Structure | A structure has a model. (InformationModelDefinition should be changed to InformationStructrureDefinition) | |
ISSUE! |
| 14 | A ReportElement is a part of a ReportElementSet. | ReportElementSet | has-part | ReportElement | A report element set is comprised of the report elements that make up that set. | |
Draft |
| 15 | A Network is a type of ReportElement. | Network | type-of | ReportElement | A network is a type of report element. | |
Draft |
| 16 | A Hypercube is a type of ReportElement. | Hypercube | type-of | ReportElement | A hypercube is a type of report element. | |
Draft |
| 17 | An Dimension is a type of ReportElement. | Dimension | type-of | ReportElement | A dimension is a type of report element. | |
Draft |
| 18 | A Member is a type of ReportElement. | Member | type-of | ReportElement | A member is a type of report element. | |
Draft |
| 19 | A LineItems is a type of ReportElement. | LineItems | type-of | ReportElement | A line items is a type of report element. A line items is effectively a dimension. | |
Draft |
| 20 | A Concept is a type of ReportElement. | Concept | type-of | ReportElement | A concept is a type of report element. | |
Draft |
| 21 | An Abstract is a type of ReportElement. | Abstract | type-of | ReportElement | An abstract is a type of report element. | |
Draft |
| 22 | A ConceptArrangementPattern is a part of an InformationModelDefinition. | InformationModelDefinition | has-part | ConceptArrangementPattern | A concept arragnement pattern is a property of an information model definition. (QUESTION: Is this a property or a part?) | |
ISSUE! |
| 23 | A TextBlock is a type of ConceptArrangmentPattern. | TextBlock | type-of | ConceptArrangementPattern | A text block is a type of concept arrangment pattern. | |
Draft |
| 24 | A Set is a type of ConceptArrangmentPattern. | Set | type-of | ConceptArrangementPattern | A set is a type of concept arrangment pattern. | |
Draft |
| 25 | A RollUp is a type of ConceptArrangmentPattern. | RollUp | type-of | ConceptArrangementPattern | A roll up block is a type of concept arrangment pattern. | |
Draft |
| 26 | A RollForward is a type of ConceptArrangmentPattern. | RollForward | type-of | ConceptArrangementPattern | A roll forward is a type of concept arrangment pattern. | |
Draft |
| 27 | A Variance is a type of ConceptArrangmentPattern. | Variance | type-of | ConceptArrangementPattern | A variance is a type of concept arrangment pattern. | |
Draft |
| 28 | An Adjustment is a type of ConceptArrangmentPattern. | Adjustment | type-of | ConceptArrangementPattern | A adjustment is a type of concept arrangment pattern. | |
Draft |
| 29 | Arithmetic is a type of ConceptArrangmentPattern. | Arithmetic | type-of | ConceptArrangementPattern | A arithmetic is a type of concept arrangment pattern. | |
Draft |
| 30 | A Level1NoteTextBlock is a type of TextBlock. | Level1NoteTextBlock | type-of | TextBlock | A level 1 note text block is a type of text block. | |
Draft |
| 31 | A Level2PolicyTextBlock is a type of TextBlock. | Level2PolicyTextBlock | type-of | TextBlock | A level 2 policy text block is a type of text block. | |
Draft |
| 32 | A Level3DisclosureTextBlock is a type of TextBlock. | Level3DisclosureTextBlock | type-of | TextBlock | A level 3 disclosure text block is a type of text block. | |
Draft |
| 33 | A MemberArrangmentPattern is a part of an InformationModelDescription. | InformationModelDefinition | has-part | MemberArrangementPattern | A member arrangement pattern is a property of an information model description. | |
ISSUE! |
| 34 | A MemberAggregation is a type of MemberArrangmentPattern. | MemberAggregation | type-of | MemberArrangementPattern | A member aggregation is a type of member arrangment pattern. | |
ISSUE! |
| 35 | A MemberNonaggretation is a type of MemberArrangmentPattern. | MemberNonaggregation | type-of | MemberArrangementPattern | A member nonaggregation is a type of member arrangment pattern. | |
ISSUE! |
| 36 | A MemberFlatList is a type of MemberArrangmentPattern. | MemberFlatList | type-of | MemberArrangementPattern | A member flat list is a type of member arrangment pattern. | |
ISSUE! |
| 37 | A MathematicalRule is a type of Rule. | MathematicalRule | type-of | Rule | A mathematical rule is a type of rule. | |
Create example |
| 38 | A StructuralRule is a type of Rule. | StructuralRule | type-of | Rule | A structural rule is a type of rule. | |
Create example |
| 39 | A ConsistencyRule is a type of Rule. | ConsistencyTypeRule | type-of | Rule | A consistency rule is a type of rule. | |
Create example |
| 40 | A TypeClassRule is a type of Rule. | TypeClassRule | type-of | Rule | A type/class rule is a type of rule. | |
Create example |
| 41 | A CoreAspect is a type of Aspect. | CoreAspect | type-of | Aspect | A core aspect is a type of aspect. These aspects are hard coded into XBRL. | |
Draft |
| 42 | A NoncoreAspect is a type of Aspect. | NoncoreAspect | type-of | Aspect | A noncore aspect is a type of aspect. These aspects can be created by a taxonomy. | |
Draft |
| 43 | A ReportingEntityAspect is a type of CoreAspect. | ReportingEntityAspect | type-of | CoreAspect | A reporting entity aspect is a type of core aspect. | |
Draft |
| 44 | A CalendarPeriodAspect is a type of CoreAspect. | CalendarPeriodAspect | type-of | CoreAspect | A calendar period aspect is a type of core aspect. | |
Draft |
| 45 | A ConceptAspect is a type of Core Aspect. | ConceptAspect | type-of | CoreAspect | A concept aspect is a type of core aspect. | |
Draft |
| 46 | A Stock is a type of CalendarPeriodAspect. | Stock | type-of | CalendarPeriodAspect | A stock is a type of calendar period. | |
Draft |
| 47 | A Flow is a type of CalendarPeriodAspect. | Flow | type-of | CalendarPeriodAspect | A flow is a type of calendar period. | |
Draft |
| 48 | A Disclosure is a property of a FactSet. | Disclosure | property-of | FactSet | A disclosure is a property of a fact set. | |
Draft |
| 49 | A ReportingScheme is a property of a Report. | ReportingScheme | property-of | Report | A reporting scheme is a property of a report. | |
Draft |
| 50 | A ReportingStyle is a property of a Report. | ReportingStyle | property-of | Report | A reporting style is a property of a report. | |
Draft |
| 51 | A Disclosure has zero to many Templates. | Disclosure | has-many | Template | A disclosure may have zero to many templates. | |
Draft |
| 52 | A Disclosure has zero to many Exemplars. | Disclosure | has-many | Exemplar | A disclosure may have zero to many examplars. | |
Draft |
| 53 | A Topic has zero to many Disclosures. | Topic | has-many | Disclosure | A topic may contain one to many disclosures. (Why would you have a topic but no disclosures in the topic?) | |
Draft |
| 54 | A ReportingChecklistRule is a type of Rule. | ReportingChecklistRule | type-of | Rule | A reporting checklist rule is a type of rule. | |
Create example |
| 55 | A DisclosureMechanicsRule is a type of MechanicalRule. | DisclosureMechanicsRule | type-of | Rule | A disclosure mechanics rule is a type of rule. | |
Create example |
| 56 | A MappingRule is part of a ConsistencyCrosscheckRule. | MappingTypeRule | type-of | Rule | A mapping rule is a type of rule. | |
Create example |
| 57 | An ImputeRule is part of a ConsistencyCrosscheckRule. | ImputeTypeRule | type-of | Rule | An impute rule is a type of rule. | |
Create example |
| 58 | A Report has property StructureArrangementPattern. | StructureArrangementPattern | property-of | Report | A report has a property which explains the arrangment of the structures. For example, a balance sheet comes first, then an income statement, then the cash flow statement, etc. Sequences the report. | |
Draft |
| 59 | Each InformationModelDefinition has zero to many Rules. | InformationModelDefinition | has-part | Rule | An information model definition has zero to many rules. | |
Draft |
| 60 | A RollForwardInfo is a type of ConceptArrangmentPattern. | RollForwardInfo | type-of | ConceptArrangementPattern | A roll forward info is a type of concept arrangement pattern. | |
Draft |
| 61 | A TextualValue is a type of NonnumericFactValue. | TextualValue | type-of | NonnumericFactValue | A textual value is a type of nonnumeric fact value. | |
ISSUE! |
| 62 | Text is a type of NonnumericFactValue. | Text | type-of | NonnumericFactValue | Text is a type of nonnumeric fact value. | |
ISSUE! |
| 63 | A ReportElementSet is a part of an InformationModelDefinition. | InformationModelDefinition | has-part | ReportElementSet | A report element set is part of an information model definition. | |
Draft |
| 64 | Each FactSet has property Grain. | Grain | property-of | FactSet | A fact set has the property of grain. Grain is the level of the information being reported. | |
Draft |
| 65 | A Hypercube is equivalent to a Table. | Table | equivalent-class | Hypercube | The term table is a synonomy for the term hypercube. | |
Draft |
| 66 | A Dimension is equivalent to an Axis. | Axis | equivalent-class | Dimension | The term axis is a synonomy for the term dimension. | |
Draft |
| 67 | A Structure is defined by a Hypercube. | Structure | defined-by | Hypercube | A structure is defined, in part, by a hypercube. | |
ISSUE! |
| 68 | A Structure is defined by a Network. | Structure | defined-by | Network | A structure is defined, in part, by a network. | |
ISSUE! |
| 69 | An Aspect is equivalent to an Dimension. | Aspect | equivalent-class | Dimension | An aspect is a synonomy for the term dimension. | |
Draft |
| 70 | A Rendering is a property of a Stucture. | Rendering | property-of | Structure | A rendering is a property of a structure. | |
Draft |
Last updated: 1/30/2020 10:02:10 AM
