Axioms

Axioms defined by Theory. (List of all Axioms) | (Machine Readable)

• AxiomPredicate
•   Each ReportSet has one to many Reports.has-part
•   Each Report has one to many Structures.has-part
•   Each Structure has one to many FactSets.has-part
•   Each FactSet has one to many Facts.has-part
•   Each Fact has one to many Aspects.has-part
•   Each Fact has exactly one FactValue.has-part
•   Each Fact has one to many ParentheticalExplanations.has-part
•   Each NumericFactValue is a type of FactValue.type-of
•   Each NonnumericFactValue is a type of FactValue.type-of
•   Units is a property of a NumericFactValue.property-of
•   Rounding is a property of a NumericFactValue.property-of
•   Prose is a type of NonnumericFactValue.type-of
•   An InformationModelDefinition is a property of a Stucture.has-part
•   A ReportElement is a part of a ReportElementSet.has-part
•   A Network is a type of ReportElement.type-of
•   A Hypercube is a type of ReportElement.type-of
•   An Dimension is a type of ReportElement.type-of
•   A Member is a type of ReportElement.type-of
•   A LineItems is a type of ReportElement.type-of
•   A Concept is a type of ReportElement.type-of
•   An Abstract is a type of ReportElement.type-of
•   A ConceptArrangementPattern is a part of an InformationModelDefinition.has-part
•   A TextBlock is a type of ConceptArrangmentPattern.type-of
•   A Set is a type of ConceptArrangmentPattern.type-of
•   A RollUp is a type of ConceptArrangmentPattern.type-of
•   A RollForward is a type of ConceptArrangmentPattern.type-of
•   A Variance is a type of ConceptArrangmentPattern.type-of
•   An Adjustment is a type of ConceptArrangmentPattern.type-of
•   Arithmetic is a type of ConceptArrangmentPattern.type-of
•   A Level1NoteTextBlock is a type of TextBlock.type-of
•   A Level2PolicyTextBlock is a type of TextBlock.type-of
•   A Level3DisclosureTextBlock is a type of TextBlock.type-of
•   A MemberArrangmentPattern is a part of an InformationModelDescription.has-part
•   A MemberAggregation is a type of MemberArrangmentPattern.type-of
•   A MemberNonaggretation is a type of MemberArrangmentPattern.type-of
•   A MemberFlatList is a type of MemberArrangmentPattern.type-of
•   A MathematicalRule is a type of Rule.type-of
•   A StructuralRule is a type of Rule.type-of
•   A ConsistencyRule is a type of Rule.type-of
•   A TypeClassRule is a type of Rule.type-of
•   A CoreAspect is a type of Aspect.type-of
•   A NoncoreAspect is a type of Aspect.type-of
•   A ReportingEntityAspect is a type of CoreAspect.type-of
•   A CalendarPeriodAspect is a type of CoreAspect.type-of
•   A ConceptAspect is a type of Core Aspect.type-of
•   A Stock is a type of CalendarPeriodAspect.type-of
•   A Flow is a type of CalendarPeriodAspect.type-of
•   A Disclosure is a property of a FactSet.property-of
•   A ReportingScheme is a property of a Report.property-of
•   A ReportingStyle is a property of a Report.property-of
•   A Disclosure has zero to many Templates.has-many
•   A Disclosure has zero to many Exemplars.has-many
•   A Topic has zero to many Disclosures.has-many
•   A ReportingChecklistRule is a type of Rule.type-of
•   A DisclosureMechanicsRule is a type of MechanicalRule.type-of
•   A MappingRule is part of a ConsistencyCrosscheckRule.type-of
•   An ImputeRule is part of a ConsistencyCrosscheckRule.type-of
•   A Report has property StructureArrangementPattern.property-of
•   Each InformationModelDefinition has zero to many Rules.has-part
•   A RollForwardInfo is a type of ConceptArrangmentPattern.type-of
•   A TextualValue is a type of NonnumericFactValue.type-of
•   Text is a type of NonnumericFactValue.type-of
•   A ReportElementSet is a part of an InformationModelDefinition.has-part
•   Each FactSet has property Grain.property-of
•   A Hypercube is equivalent to a Table.equivalent-class
•   A Dimension is equivalent to an Axis.equivalent-class
•   A Structure is defined by a Hypercube.defined-by
•   A Structure is defined by a Network.defined-by
•   An Aspect is equivalent to an Dimension.equivalent-class
•   A Rendering is a property of a Stucture.property-of

---