Showing:

Annotations
Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element ruleml:right
Namespace http://ruleml.org/spec
Annotations
<right>: The right-hand side edge of an equation. See
http://deliberation.ruleml.org/1.02/glossary/#gloss-right
Diagram
Type ruleml:right.type.def
Type hierarchy
Properties
content complex
Used by
Model
Children ruleml:Data, ruleml:Ind, ruleml:Reify, ruleml:Skolem, ruleml:Var
Instance
<ruleml:right xml:id="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:Skolem xml:id="" node="" type="">{1,1}</ruleml:Skolem>
  <ruleml:Reify xml:id="" node="">{1,1}</ruleml:Reify>
  <ruleml:Ind xml:id="" iri="" node="" type="">{1,1}</ruleml:Ind>
  <ruleml:Data>{1,1}</ruleml:Data>
  <ruleml:Var xml:id="" node="" type="">{1,1}</ruleml:Var>
</ruleml:right>
Attributes
QName Type Use Annotation
xml:id xs:ID optional
<div>
  <h3>id (as an attribute name)</h3>
  <p>denotes an attribute whose value should be interpreted as if declared to be of type ID. This name is reserved by virtue of its definition in the xml:id specification.</p>
  <p>See
    <a href="http://www.w3.org/TR/xml-id/">http://www.w3.org/TR/xml-id/</a>for information about this attribute.</p>
</div>
Source
<xs:element name="right" type="ruleml:right.type.def">
  <xs:annotation>
    <xs:documentation><right>: The right-hand side edge of an equation. See http://deliberation.ruleml.org/1.02/glossary/#gloss-right</xs:documentation>
  </xs:annotation>
</xs:element>