Showing:

Annotations
Diagrams
Model
Source
Used by
Complex Type ruleml:formula_Forall.content
Namespace http://ruleml.org/spec
Annotations
The role filler for an universal quantification's body edge is a formula.
Diagram
Type extension of ruleml:ForallFormula.choice
Type hierarchy
Used by
Model
Children ruleml:Atom, ruleml:Equal, ruleml:Forall, ruleml:Implies
Source
<xs:complexType name="formula_Forall.content">
  <xs:annotation>
    <xs:documentation>The role filler for an universal quantification's body edge is a formula.</xs:documentation>
  </xs:annotation>
  <xs:complexContent>
    <xs:extension base="ruleml:ForallFormula.choice"/>
  </xs:complexContent>
</xs:complexType>