*

# 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