*

Axioms

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: 4/23/2021 7:54:57 AM