Showing:

Annotations
Diagrams
Model
Source
Used by
Element Group ruleml:SimpleConstantTerm.choice
Namespace http://ruleml.org/spec
Annotations
Skolem constants are simple constant terms, but are not used in keys.
Diagram
Used by
Model
Children ruleml:Data, ruleml:Ind, ruleml:Reify, ruleml:Skolem
Source
<xs:group name="SimpleConstantTerm.choice">
  <xs:annotation>
    <xs:documentation>Skolem constants are simple constant terms, but are not used in keys.</xs:documentation>
  </xs:annotation>
  <xs:choice>
    <xs:group ref="ruleml:Skolem-node.choice"/>
    <xs:group ref="ruleml:Reify-node.choice"/>
    <xs:group ref="ruleml:SimpleKeyTerm.choice"/>
  </xs:choice>
</xs:group>