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]