Showing:

Annotations
Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element ruleml:body_Implies.edge.def / ruleml:if
Namespace http://ruleml.org/spec
Annotations
<if>: contains the premise of the implication. See
http://deliberation.ruleml.org/1.02/glossary/#gloss-if
Diagram
Type ruleml:body_Implies.type.def
Type hierarchy
Properties
content complex
Model
Children ruleml:And, ruleml:Atom, ruleml:During, ruleml:Equal, ruleml:Equivalent, ruleml:Exists, ruleml:Finishes, ruleml:Forall, ruleml:Implies, ruleml:Interval, ruleml:Meets, ruleml:Naf, ruleml:Neg, ruleml:Negation, ruleml:Operation, ruleml:Or, ruleml:Overlaps, ruleml:Precedes, ruleml:Spatial, ruleml:Starts, ruleml:Succeeds, ruleml:Time
Instance
<ruleml:if xml:id="" key="" keyref="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:Atom closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Atom>
  <ruleml:Interval closure="" xml:id="" key="" keyref="" style="" type="">{1,1}</ruleml:Interval>
  <ruleml:Spatial closure="" xml:id="" key="" keyref="" style="" type="">{1,1}</ruleml:Spatial>
  <ruleml:During closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:During>
  <ruleml:Overlaps closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Overlaps>
  <ruleml:Starts closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Starts>
  <ruleml:Precedes closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Precedes>
  <ruleml:Succeeds closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Succeeds>
  <ruleml:Meets closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Meets>
  <ruleml:Finishes closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Finishes>
  <ruleml:Time closure="" xml:id="" key="" keyref="" style="" type="">{1,1}</ruleml:Time>
  <ruleml:Equal closure="" xml:id="" key="" keyref="" style="" type="">{1,1}</ruleml:Equal>
  <ruleml:And closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:And>
  <ruleml:Or closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Or>
  <ruleml:Neg closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Neg>
  <ruleml:Negation closure="" xml:id="" key="" keyref="" style="" type="">{1,1}</ruleml:Negation>
  <ruleml:Naf closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Naf>
  <ruleml:Implies closure="" xml:id="" key="" keyref="" material="" style="">{1,1}</ruleml:Implies>
  <ruleml:Equivalent closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Equivalent>
  <ruleml:Forall closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Forall>
  <ruleml:Exists closure="" xml:id="" key="" keyref="" style="">{1,1}</ruleml:Exists>
  <ruleml:Operation closure="" xml:id="" key="" keyref="" style="" type="">{1,1}</ruleml:Operation>
</ruleml:if>
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="if" type="ruleml:body_Implies.type.def">
  <xs:annotation>
    <xs:documentation><if>: contains the premise of the implication. See http://deliberation.ruleml.org/1.02/glossary/#gloss-if</xs:documentation>
  </xs:annotation>
</xs:element>
Element Group ruleml:body_Implies.edge.def
Namespace http://ruleml.org/spec
Annotations
The if of an implication rule (<Implies>) containing the Premise(s), also
known as the "antecedent" part of the rule.  Also used as the "antecedent" part of an
entailment (<Entails>). Within Implies...
Diagram
Used by
Model
Children ruleml:if
Source
<xs:group name="body_Implies.edge.def">
  <xs:annotation>
    <xs:documentation>The if of an implication rule (<Implies>) containing the Premise(s), also known as the "antecedent" part of the rule. Also used as the "antecedent" part of an entailment (<Entails>). Within Implies...</xs:documentation>
  </xs:annotation>
  <xs:sequence>
    <xs:element form="qualified" name="if" type="ruleml:body_Implies.type.def">
      <xs:annotation>
        <xs:documentation><if>: contains the premise of the implication. See http://deliberation.ruleml.org/1.02/glossary/#gloss-if</xs:documentation>
      </xs:annotation>
    </xs:element>
  </xs:sequence>
</xs:group>