Showing:

Annotations
Diagrams
Model
Source
Used by
Complex Type ruleml:op_Atom.content
Namespace http://ruleml.org/spec
Annotations
The operator role in the context of an atomic formula is filled by a
predicate.
Diagram
Type extension of ruleml:Relation-node.choice
Type hierarchy
Used by
Complex Type ruleml:op.type.def
Model
Children ruleml:Rel
Source
<xs:complexType name="op_Atom.content">
  <xs:annotation>
    <xs:documentation>The operator role in the context of an atomic formula is filled by a predicate.</xs:documentation>
  </xs:annotation>
  <xs:complexContent>
    <xs:extension base="ruleml:Relation-node.choice"/>
  </xs:complexContent>
</xs:complexType>