Axioms

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

has-part= type-of= property-of= has-many= Other=

Last updated: 5/2/2020 8:42:31 AM