complexType "AxiomLike"
Namespace:
{no namespace}
Content:
complex, 6 attributes, 4 elements
Defined:
globally in pretext.xsd; see XML source
Used:
at 6 locations
XML Representation Summary
<...
   
xml:id
 = 
xs:anySimpleType
label
 = 
xs:anySimpleType
permid
 = 
xs:anySimpleType
component
 = 
xs:anySimpleType
xml:base
 = 
xs:anySimpleType
xml:lang
 = 
xs:anySimpleType
   
>
   
Content: 
title?, creator?, idx*, statement
</...>
Content Model Elements (4):
creator,
idx,
statement (defined in Statement group),
title (defined in Title group)
All Direct / Indirect Based Elements (6):
assumption, axiom, conjecture, heuristic, hypothesis, principle
Known Usage Locations
Type Definition Detail
Type Derivation Tree
MetaDataTitleCreatorOptional (extension)
  AxiomLike
XML Source (see within schema source)
<xs:complexType name="AxiomLike">
<xs:complexContent>
<xs:extension base="MetaDataTitleCreatorOptional">
<xs:group ref="Statement"/>
</xs:extension>
</xs:complexContent>
</xs:complexType>
XML schema documentation generated with FlexDoc/XML 1.12.5 using FlexDoc/XML XSDDoc 2.9.2 template set