group "Content-logic.class"
Namespace:
http://www.w3.org/1998/Math/MathML
Content:
7 elements
Defined:
globally in logic.xsd, see XML source
Includes:
definitions of 7 elements
Used:
at 1 location
Complex Content Model
and | or | xor | not | exists | forall | implies
Content Elements (7):
and, exists, forall, implies, not, or, xor
Known Usage Locations
XML Source (see within schema source)
<xs:group name="Content-logic.class">
<xs:choice>
<xs:element ref="and"/>
<xs:element ref="or"/>
<xs:element ref="xor"/>
<xs:element ref="not"/>
<xs:element ref="exists"/>
<xs:element ref="forall"/>
<xs:element ref="implies"/>
</xs:choice>
</xs:group>
Content Element Detail (defined in this component only; 7/7)
and
Type:
Elementary-functions.type, empty content
XML Source (see within schema source)
<xs:element ref="and"/>
exists
Type:
Logic.type, empty content
XML Source (see within schema source)
<xs:element ref="exists"/>
forall
Type:
Logic.type, empty content
XML Source (see within schema source)
<xs:element ref="forall"/>
implies
Type:
Logic.type, empty content
XML Source (see within schema source)
<xs:element ref="implies"/>
not
Type:
Logic.type, empty content
XML Source (see within schema source)
<xs:element ref="not"/>
or
Type:
Logic.type, empty content
XML Source (see within schema source)
<xs:element ref="or"/>
xor
Type:
Logic.type, empty content
XML Source (see within schema source)
<xs:element ref="xor"/>
XML schema documentation generated with DocFlex/XML 1.7.0 using DocFlex/XML | XSDDoc 2.0.0 template set