XML Schema "logic.xsd"
Target Namespace:
http://www.w3.org/1998/Math/MathML
Components:
7 global elements, 1 complexType, 1 element group
Schema Location:
http://www.erudit.org/xsd/mathml/2.0/content/logic.xsd, see XML source
Included in Schema:
mathml2.xsd [src]
Annotation
This is an XML Schema module for the logic operators of content MathML. Author: Stéphane Dalmas, INRIA.
Element Summary
and
Type:
Elementary-functions.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
exists
Type:
Logic.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
forall
Type:
Logic.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
implies
Type:
Logic.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
not
Type:
Logic.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
or
Type:
Logic.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
xor
Type:
Logic.type
Content:
empty, 7+any attributes
Defined:
globally, see XML source
Used:
at 1 location
Complex Type Summary
Logic.type
Content:
empty, 7+any attributes
Used:
at 6 locations
Element Group Summary
Content-logic.class
Content:
7 elements
Includes:
definitions of 7 elements
Used:
at 1 location
XML Source (w/o annotations (1))
<?xml version="1.0" encoding="UTF-8"?>
<xs:schema elementFormDefault="qualified" targetNamespace="http://www.w3.org/1998/Math/MathML" xmlns="http://www.w3.org/1998/Math/MathML" xmlns:xs="http://www.w3.org/2001/XMLSchema">
<!-- a common type for all this -->
<xs:complexType name="Logic.type">
<xs:attributeGroup ref="Definition.attrib"/>
<xs:attributeGroup ref="Common.attrib"/>
</xs:complexType>
<xs:element name="and" type="Elementary-functions.type"/>
<xs:element name="or" type="Logic.type"/>
<xs:element name="xor" type="Logic.type"/>
<xs:element name="not" type="Logic.type"/>
<xs:element name="exists" type="Logic.type"/>
<xs:element name="forall" type="Logic.type"/>
<xs:element name="implies" type="Logic.type"/>
<!-- And the group of everything -->
<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>
</xs:schema>
<!--
Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
of Technology, Institut National de Recherche en Informatique et en
Automatique, Keio University). All Rights Reserved. See
http://www.w3.org/Consortium/Legal/.
-->
XML schema documentation generated with DocFlex/XML 1.7.0 using DocFlex/XML | XSDDoc 2.0.0 template set