Showing:

Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element spec:torso
Namespace http://ruleml.org/spec
Diagram
Properties
content complex
Used by
Element spec:Equivalent
Model
Children spec:And, spec:Atom, spec:Equal, spec:Equivalent, spec:Exists, spec:Forall, spec:Implies, spec:Neg, spec:Or
Instance
<spec:torso xml:base="" xml:id="" xmlns:spec="http://ruleml.org/spec">
  <spec:Atom xml:base="" closure="" xml:id="" node="">{1,1}</spec:Atom>
  <spec:Equal xml:base="" xml:id="" node="" oriented="">{1,1}</spec:Equal>
  <spec:And xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</spec:And>
  <spec:Or xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</spec:Or>
  <spec:Neg xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</spec:Neg>
  <spec:Implies xml:base="" closure="" direction="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" material="" node="">{1,1}</spec:Implies>
  <spec:Equivalent xml:base="" closure="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</spec:Equivalent>
  <spec:Forall xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</spec:Forall>
  <spec:Exists xml:base="" xml:id="" mapClosure="" mapDirection="" mapMaterial="" node="">{1,1}</spec:Exists>
</spec:torso>
Attributes
QName Type Use
xml:base xs:anyURI optional
xml:id xs:ID optional
Source
<xs:element name="torso">
  <xs:complexType>
    <xs:choice>
      <xs:element ref="spec:Atom"/>
      <xs:element ref="spec:Equal"/>
      <xs:group ref="spec:And_2"/>
      <xs:group ref="spec:Or_2"/>
      <xs:element ref="spec:Neg"/>
      <xs:element ref="spec:Implies"/>
      <xs:element ref="spec:Equivalent"/>
      <xs:element ref="spec:Forall"/>
      <xs:element ref="spec:Exists"/>
    </xs:choice>
    <xs:attribute ref="xml:base"/>
    <xs:attribute ref="xml:id"/>
  </xs:complexType>
</xs:element>