= Type_type  =

Type_type is a subtype of Type_DOMS. Type_type defines that type objects have one or more ''extendsType'' relations and a ''Type'' datastream. Allowing more than one extendsType relations means that we allow multiple inheritance for types. The ''Type datastream'' (yet to be defined) is meant to hold a technical definition of the type against which foxml objects of this type can be validated.

The Type_type object is the bottom of the "isObjectType" relation. Any object with a "isObjectType" relation to Type_type is a TYPE object. 

Extensions to [[DataModel/Type DOMS object| Type DOMS]]
----
  .'''Datastreams'''
    .'''Relations''' [[DataModel/Datastream Relations| RDF relations]] to other objects (''RELS-EXT'')
      .'''+extendsType -> Type Object''' relation to object with object type [[DataModel/Type type| Type]]
    .'''Type''' datastream describing the type

----

The FoxML object can be found [[http://merkur/viewvc/trunk/data/doms_base_collection/domsBaseTypeType.xml?root=doms&view=markup|here]]