Showing:

Diagrams
Model
Source
Used by
Complex Type ruleml:formula_Or-head.content
Namespace http://ruleml.org/spec
Diagram
Type extension of ruleml:OrHeadFormula.choice
Type hierarchy
Used by
Model
Children ruleml:And, ruleml:Atom, ruleml:Exists, ruleml:Or
Source
<xs:complexType name="formula_Or-head.content">
  <xs:complexContent>
    <xs:extension base="ruleml:OrHeadFormula.choice"/>
  </xs:complexContent>
</xs:complexType>