OpenMath Signatures


Type System: sts
Content Dictionary: meta
CD Signature File: meta.sts
CD Signature as XML Encoded OpenMath: meta.omsts



Date:  1999-05-13
Author: David Carlisle


CD

<OMOBJ>
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="CDTopLevelEntry"/>
    </OMA>
  <OMV name="CD"/>
 </OMA>
</OMOBJ>
( ( CDTopLevelEntry * ) >> CD )

Content Dictionary Entry.


[Next: CDComment] [Last: FMP] [Top]


CDComment

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>
( String >> CDTopLevelEntry )

Content Dictionary Entry.


[Next: CDName] [Previous: CD] [Top]


CDName

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>
( String >> CDTopLevelEntry )

Content Dictionary Entry.


[Next: CDURL] [Previous: CDComment] [Top]


CDURL

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>
( String >> CDTopLevelEntry )

Content Dictionary Entry.


[Next: Example] [Previous: CDName] [Top]


Example

<OMOBJ>
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="StringOrObject"/>
    </OMA>
  <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>
( ( StringOrObject * ) >> CDTopLevelEntry )

Content Dictionary Entry.


[Next: CDDate] [Previous: CDURL] [Top]


CDDate

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="Date"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>
( Date >> CDTopLevelEntry )

Content Dictionary Entry.


[Next: CDVersion] [Previous: Example] [Top]


CDVersion

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="VersionString"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>
( VersionString >> CDTopLevelEntry )

Content Dictionary Entry.


[Next: CDReviewDate] [Previous: CDDate] [Top]


CDReviewDate

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="Date"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>
( Date >> CDTopLevelEntry )

Content Dictionary Entry.


[Next: CDStatus] [Previous: CDVersion] [Top]


CDStatus

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="CDStatus"/>
    <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>
( CDStatus >> CDTopLevelEntry )

Content Dictionary Entry.


[Next: CDUses] [Previous: CDReviewDate] [Top]


CDUses

<OMOBJ>
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="CDName"/>
    </OMA>
  <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>
( ( CDName * ) >> CDTopLevelEntry )

Content Dictionary Entry.


[Next: CDDefinition] [Previous: CDStatus] [Top]


CDDefinition

<OMOBJ>
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="CDDefinitionEntry"/>
    </OMA>
  <OMV name="CDTopLevelEntry"/>
 </OMA>
</OMOBJ>
( ( CDDefinitionEntry * ) >> CDTopLevelEntry )

Content Dictionary Entry.


[Next: Description] [Previous: CDUses] [Top]


Description

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDEntry"/>
 </OMA>
</OMOBJ>
( String >> CDEntry )

Content Dictionary Entry.


[Next: Name] [Previous: CDDefinition] [Top]


Name

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDDefinitionEntry"/>
 </OMA>
</OMOBJ>
( String >> CDDefinitionEntry )

Content Dictionary Entry.


[Next: Signature] [Previous: Description] [Top]


Signature

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="SignatureObject"/>
    <OMV name="CDDefinitionEntry"/>
 </OMA>
</OMOBJ>
( SignatureObject >> CDDefinitionEntry )

Content Dictionary Entry.


[Next: Presentation] [Previous: Name] [Top]


Presentation

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDDefinitionEntry"/>
 </OMA>
</OMOBJ>
( String >> CDDefinitionEntry )

Content Dictionary Entry.


[Next: CMP] [Previous: Signature] [Top]


CMP

<OMOBJ>
 <OMA>
   <OMS name="mapsto" cd="sts"/>
    <OMV name="String"/>
    <OMV name="CDDefinitionEntry"/>
 </OMA>
</OMOBJ>
( String >> CDDefinitionEntry )

Content Dictionary Entry.


[Next: FMP] [Previous: Presentation] [Top]


FMP

<OMOBJ>
 <OMA>
  <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nary" cd="sts"/>
     <OMV name="StringOrObject"/>
    </OMA>
  <OMV name="CDDefinitionEntry"/>
 </OMA>
</OMOBJ>
( ( StringOrObject * ) >> CDDefinitionEntry )

Content Dictionary Entry.


[First: CD] [Previous: CMP] [Top]