Showing:

Attributes
Diagrams
Instances
Model
Properties
Source
Used by
Element ruleml:Time_formula.Node.def / ruleml:Time
Namespace http://ruleml.org/spec
Diagram
Type ruleml:Time_formula.type.def
Type hierarchy
Properties
content complex
Model
Children ruleml:arg, ruleml:content, ruleml:degree, ruleml:oid, ruleml:repo, ruleml:resl, ruleml:slot
Instance
<ruleml:Time closure="" xml:id="" key="" keyref="" style="" type="" xmlns:ruleml="http://ruleml.org/spec">
  <ruleml:oid xml:id="" key="" keyref="">{1,1}</ruleml:oid>
  <ruleml:degree xml:id="" key="" keyref="">{1,1}</ruleml:degree>
  <ruleml:arg xml:id="" index="" key="" keyref="">{1,1}</ruleml:arg>
  <ruleml:repo xml:id="" key="" keyref="">{1,1}</ruleml:repo>
  <ruleml:slot card="" xml:id="" key="" keyref="">{1,1}</ruleml:slot>
  <ruleml:resl xml:id="" key="" keyref="">{1,1}</ruleml:resl>
  <ruleml:content xml:id="" index="" key="" keyref="">{1,1}</ruleml:content>
</ruleml:Time>
Attributes
QName Type Use Annotation
closure ruleml:closure.value optional
An attribute indicating how the contained free variables are quantified.
Allowed values are "universal" and "existential". See
http://deliberation.ruleml.org/1.02/glossary/.40closure
key ruleml:key.value optional
keyref ruleml:keyref.value optional
style ruleml:style.value optional
@style: defines a reference to a semantic profile. See
http://consumer.ruleml.org/1.02/glossary/#.40style
type ruleml:type.value optional
A role for optionally specifying a term's (user-defined) type. See
http://deliberation.ruleml.org/1.02/glossary/#gloss-type
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="Time" type="ruleml:Time_formula.type.def"/>
Element Group ruleml:Time_formula.Node.def
Namespace http://ruleml.org/spec
Diagram
Used by
Model
Children ruleml:Time
Source
<xs:group name="Time_formula.Node.def">
  <xs:sequence>
    <xs:element form="qualified" name="Time" type="ruleml:Time_formula.type.def"/>
  </xs:sequence>
</xs:group>