Showing:

Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element ruleml:formula_4 / ruleml:formula
Namespace http://ruleml.org/spec
Diagram
Properties
content complex
Model
Children ruleml:And, ruleml:Atom, ruleml:Equal, ruleml:Equivalent, ruleml:Exists, ruleml:Forall, ruleml:Implies, ruleml:Naf, ruleml:Neg, ruleml:Or
Instance
<ruleml:formula xml:base="" xml:id="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:Atom xml:base="" closure="" xml:id="" node="">{1,1}</ruleml:Atom>
  <ruleml:Equal xml:base="" xml:id="" node="" oriented="">{1,1}</ruleml:Equal>
  <ruleml:And xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:And>
  <ruleml:Or xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Or>
  <ruleml:Neg xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Neg>
  <ruleml:Naf xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Naf>
  <ruleml:Implies xml:base="" closure="" direction="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" material="" node="">{1,1}</ruleml:Implies>
  <ruleml:Equivalent xml:base="" closure="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Equivalent>
  <ruleml:Forall xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Forall>
  <ruleml:Exists xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</ruleml:Exists>
</ruleml:formula>
Attributes
QName Type Use
xml:base xs:anyURI optional
xml:id xs:ID optional
Source
<xs:element name="formula">
  <xs:complexType>
    <xs:choice>
      <xs:element ref="ruleml:Atom"/>
      <xs:element ref="ruleml:Equal"/>
      <xs:group ref="ruleml:And_2"/>
      <xs:group ref="ruleml:Or_2"/>
      <xs:element ref="ruleml:Neg"/>
      <xs:element ref="ruleml:Naf"/>
      <xs:element ref="ruleml:Implies"/>
      <xs:element ref="ruleml:Equivalent"/>
      <xs:element ref="ruleml:Forall"/>
      <xs:element ref="ruleml:Exists"/>
    </xs:choice>
    <xs:attribute ref="xml:base"/>
    <xs:attribute ref="xml:id"/>
  </xs:complexType>
</xs:element>
Element Group ruleml:formula_4
Namespace http://ruleml.org/spec
Diagram
Used by
Model
Children ruleml:formula
Source
<xs:group name="formula_4">
  <xs:sequence>
    <xs:element name="formula">
      <xs:complexType>
        <xs:choice>
          <xs:element ref="ruleml:Atom"/>
          <xs:element ref="ruleml:Equal"/>
          <xs:group ref="ruleml:And_2"/>
          <xs:group ref="ruleml:Or_2"/>
          <xs:element ref="ruleml:Neg"/>
          <xs:element ref="ruleml:Naf"/>
          <xs:element ref="ruleml:Implies"/>
          <xs:element ref="ruleml:Equivalent"/>
          <xs:element ref="ruleml:Forall"/>
          <xs:element ref="ruleml:Exists"/>
        </xs:choice>
        <xs:attribute ref="xml:base"/>
        <xs:attribute ref="xml:id"/>
      </xs:complexType>
    </xs:element>
  </xs:sequence>
</xs:group>