Showing:

Annotations
Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element ruleml:op_Atom.edge.def / ruleml:op
Namespace http://ruleml.org/spec
Annotations
<op>: edge (role) element for the predicate of an atomic formula. See
http://deliberation.ruleml.org/1.02/glossary/#gloss-op
Diagram
Type ruleml:op.type.def
Type hierarchy
Properties
content complex
Model
Children ruleml:Rel
Instance
<ruleml:op xml:id="" key="" keyref="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:Rel xml:id="" iri="" key="" keyref="" type="">{1,1}</ruleml:Rel>
</ruleml:op>
Attributes
QName Type Use Annotation
key ruleml:key.value optional
keyref ruleml:keyref.value optional
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 form="qualified" name="op" type="ruleml:op.type.def">
  <xs:annotation>
    <xs:documentation><op>: edge (role) element for the predicate of an atomic formula. See http://deliberation.ruleml.org/1.02/glossary/#gloss-op</xs:documentation>
  </xs:annotation>
</xs:element>
Element Group ruleml:op_Atom.edge.def
Namespace http://ruleml.org/spec
Annotations
(context sensitive: see also expr_module and holog_module) An operator
expression including a relation (<Rel>) of an atom (<Atom>).
Diagram
Used by
Model
Children ruleml:op
Source
<xs:group name="op_Atom.edge.def">
  <xs:annotation>
    <xs:documentation>(context sensitive: see also expr_module and holog_module) An operator expression including a relation (<Rel>) of an atom (<Atom>).</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:element form="qualified" name="op" type="ruleml:op.type.def">
      <xs:annotation>
        <xs:documentation><op>: edge (role) element for the predicate of an atomic formula. See http://deliberation.ruleml.org/1.02/glossary/#gloss-op</xs:documentation>
      </xs:annotation>
    </xs:element>
  </xs:sequence>
</xs:group>