Showing:

Annotations
Diagrams
Model
Source
Used by
Complex Type ruleml:formula_AssertRetract.content
Namespace http://ruleml.org/spec
Annotations
Forumulas within assertions and retractions contain a single
formula.
Diagram
Type extension of ruleml:AssertRetractFormula.choice
Type hierarchy
Used by
Model
Children ruleml:Atom, ruleml:Equal, ruleml:Forall, ruleml:Implies
Source
<xs:complexType name="formula_AssertRetract.content">
  <xs:annotation>
    <xs:documentation>Forumulas within assertions and retractions contain a single formula.</xs:documentation>
  </xs:annotation>
  <xs:complexContent>
    <xs:extension base="ruleml:AssertRetractFormula.choice"/>
  </xs:complexContent>
</xs:complexType>