Showing:

Annotations
Diagrams
Model
Source
Used by
Complex Type ruleml:left.content
Namespace http://ruleml.org/spec
Annotations
The left-hand side role in an equation is filled by a
term.
Diagram
Type extension of ruleml:leftTerm.choice
Type hierarchy
Used by
Complex Type ruleml:left.type.def
Model
Children ruleml:Data, ruleml:Ind, ruleml:Reify, ruleml:Skolem, ruleml:Var
Source
<xs:complexType name="left.content">
  <xs:annotation>
    <xs:documentation>The left-hand side role in an equation is filled by a term.</xs:documentation>
  </xs:annotation>
  <xs:complexContent>
    <xs:extension base="ruleml:leftTerm.choice"/>
  </xs:complexContent>
</xs:complexType>