Template Specifications List

Generate and download __templates.owl.ttl (tpl.owl)
Generate and download all-templates.txt (complete FOL code for template expander)
Generate table view (for copy-paste to spreadsheet)
Hide deprecated templates
template name | TIP Predicate | status | aspect | description | xml file |
---|---|---|---|---|---|
TEMPLATES FOR CLASSes - both design classes and RDL classes | |||||
ClassOfParticipationDefinition | CLS-participatesInActivityClass | MMT APPROVED - REVISED | ACTIVITY | A classOfTemporalPart of a ClassOfActivity has a classOfTemporalPart of a ClassOfPhysicalObject as a participant in a given Role. | CL-ACTIV-100.xml |
ClassOfDualParticipationDefinition | CLS-2ParticipantsInActivityClass | NEW | ACTIVITY | A ClassOfActivity has two classOfTemporalParts of a ClassOfPhysicalObject as a participant each in their given Role | CL-ACTIV-150.xml |
ClassOfParticipationApplicableYesNo | CLS-participationApplicableYesNo | MMT APPROVED | ACTIVITY | Definition of which members of an instance of ParticipatingRoleAndDomain do not participate in which members of a class-of-temporal-part of an instance of ClassOfActivity by specializing the ClassOfParticipation with the instance TRUE of FALSE of ClassOfAssertion. | CL-ACTIV-200.xml |
ClassOfParticipationAndInvolvementByReferenceDefinition | CLS-participate+involvedInACTclass | NEW | ACTIVITY | A ClassOfActivity has two classOfTemporalParts of a ClassOfPhysicalObject, one as a participant and one involved by reference, each in their given Role | CL-ACTIV-250.xml |
ClassOfInvolvementByReferenceDefinition | CLS-involvedByRefInActivityClass | MMT APPROVED - REVISED | ACTIVITY | Definition of an instance of ClassOfInvolvementByReference, by defining which members of a class-of-temporal-part of an instance of Class is (are), in a given Role, involved by reference in (members of) a given class-of-temporal-part of an instance of ClassOfActivity. | CL-ACTIV-300.xml |
InvolvementByReferenceOfClassInActivity | CLS-involvedByRefInINDActivity | MMT APPROVED - REVISED | ACTIVITY | A class-of-temporal-part of an instance of ClassOfIndividual is involved-by-reference in a temporal part of an instance of Activity, where the role in that involvement is defined by an instance of Role | CL-ACTIV-400.xml |
ClassOfRecognitionDefinition | CLS-isRecognizedByActivityClass | MMT APPROVED | ACTIVITY | Definition of an instance of ClassOfRecognition, by defining for which information is recognized by members of a given class-of-temporal-part of an instance of ClassOfActivity. | CL-ACTIV-500.xml |
ClassOfCauseOfBeginningOfClassOfIndividualDefinition | ACTCLS-causesBeginClassMembers | MMT APPROVED - REVISED | ACTIVITY | A class-of-temporal-part of an instance of ClassOfActivity begins the existence of a class-of-temporal-part of an instance of ClassOfIndividual. | CL-ACTIV-600.xml |
ClassOfCauseOfEndingOfClassOfIndividualDefinition | ACTCLS-causesEndingClassMembers | MMT APPROVED | ACTIVITY | A class-of-temporal-part of an instance of ClassOfActivity ends the existence of a class-of-temporal-part of an instance of ClassOfIndividual. | CL-ACTIV-700.xml |
ClassificationOfClassOfIndividual | CLS-isClassifiedWith | MMT APPROVED - REVISED - For Batch#9 approval | CLASSIFICATION | Declaring a class-of-temporal-part of an instance of ClassOfIndividual to be a member of an instance of ClassOfClass. | CL-CLSIF-100.xml |
ClassificationWithRdlSubjectArea | CLS-belongsToSubjectArea | MMT APPROVED - REVISED - For Batch#9 approval | CLASSIFICATION | Declaring a class-of-temporal-part of an instance of ClassOfIndividual to be a member of an instance of ClassOfClass that is known as a 'subject area' in the RDL | CL-CLSIF-105.xml |
ClassificationOfClassOfIndividualApplicableYesNo | CLS-classificationApplicableYesNo | MMT APPROVED | CLASSIFICATION | A class-of-temporal-part instance of a ClassOfIndividual is | is not classified with an instance of ClassOfClassOfIndividual; the Classification relationship is classified with an instance TRUE or FALSE of ClassOfAssertion. | CL-CLSIF-200.xml |
SpecializationOfClassOfIndividual | CLS-isSubclassOf | MMT APPROVED - REVISED - For Batch#9 approval | SPECIALIZATION | Declaring a class-of-temporal-part on an instance of ClassOfIndividual to be a subclass of an instance of another ClassOfIndividual. | CL-SPECN-100.xml |
SpecializationOfClassOfIndividualApplicableYesNo | CLS-specializationApplicableYesNo | MMT APPROVED | SPECIALIZATION | A class-of-temporal-part instance of a ClassOfIndividual is a specialization of an instance of another ClassOfIndividual; the Specialization relationship is classified with the instance TRUE or FALSE of ClassOfAssertion. | CL-SPECN-200.xml |
ClassifiedDefinitionOfClassOfClass | COClassIsDefinedBy | MMT APPROVED | DEFINITION | Definition of a (Part 2) ClassOfClass with an instance of ClassOfExpressInformationRepresenstation, according a given type of definition. | CL-DEFN-080.xml |
ClassifiedDefinitionOfClassOfIndividual | CLS-isDefinedBy | MMT APPROVED | DEFINITION | Definition of a class-of-temporal-part of a (Part 2) ClassOfIndividual with an instance of ClassOfExpressInformationRepresenstation, according a given type of definition. | CL-DEFN-160.xml |
DefinitionOfClassOfIndividualWithDataSet | CLS-definedByDataSet | NEW - For Batch 9 approval | DEFINITION | An instance of ClassOfIndividual is, by means of an instance of ClassOfClassOfDefinition, linked to a ClassOfTemplate that has a set of Templates as its member. That membership is recorded with instances of the template ClassificationOfClassOfIndividual. | CL-DEFN-200.xml |
ClassifiedDefinitionOfClassOfIndividualWithInformationRepresentation | CLS-isDefinedByInfoRep | MMT APPROVED | DEFINITION | Definition of a class-of-temporal-part of a (Part 2) ClassOfIndividual with an instance of ClassOfInformationRepresentation, according a given type of definition. | CL-DEFN-240.xml |
DefinitionOfClassOfIndividualOnDocument | CLS-isDefinedByInfoRepOnDoc | NEW - For Batch#9 approval | DEFINITION | A [EssentialType] class [hasClass] is defined with a [hasDefinition] that is contained by a [hasDocument]. | CL-DEFN-320.xml |
ClassifiedDefinitionOfClassOfRelationship | CORelshipIsDefinedBy | MMT APPROVED | DEFINITION | Definition of a ClassOfRelationship with an instance of ClassOfInformationRepresenstation, according a given type of definition. | CL-DEFN-480.xml |
DefinitionOfClassOfIndividualWithClassifiedSign | CLS-isDefinedBySign | MMT APPROVED | DEFINITION | Definition of a class-of-temporal-part of a (Part 2) ClassOfIndividual with an instance of PossibleIndividual that serves as a sign, and that is a member of a ClassOfInformationObject. | CL-DEFN-560.xml |
DefinitionOfClassOfMultidimensionalObjectWith2Roles | COMultidimObjectIsDefinedBy | MMT APPROVED | DEFINITION | Defining a class-of-temporal-part ClassOfMultidimensionalObject with two 'roles' by defining the related instances of RoleAndDomain. | CL-DEFN-640.xml |
DefinitionOfRoleAndDomain | [normally do not use] | MMT APPROVED | DEFINITION | An instance of RoleAndDomain is defined by specializing it from an instance of Role and an instance of a subtype of Class. | CL-DEFN-720.xml |
DefinitionOfParticipatingRoleAndDomain | [normally do not use] | MMT APPROVED | DEFINITION | An instance of ParticipatingRoleAndDomain is defined by specializing it from an instance of Role and an instance of Class or a subtype thereof. | CL-DEFN-800.xml |
ClassifiedDescriptionOfClassOfIndividual | CLS-isDescribedBy | MMT APPROVED - REVISED | DESCRIPTION | A class-of-temporal-part of a (Part 2) ClassOfIndividual is described with a subtype of ClassOfExpressInformationRepresentation according a given type of description. | CL-DESCR-100.xml |
ClassifiedDescriptionOfClassOfIndividualWithInformationRepresentation | CLS-isDescribedByInfoRep | MMT APPROVED | DESCRIPTION | Description of a class-of-temporal-part of a (Part 2) ClassOfIndividual with an instance of ClassOfInformationRepresentation, according a given type of description. | CL-DESCR-200.xml |
ClassifiedDescriptionOfClassOfIndividualViaReference | CLS-isDescribedViaNote | MMT APPROVED | DESCRIPTION | A class-of-temporal-part of a (Part 2) ClassOfIndividual is described with an instance of ExpressString via a reference to that ExpressString. | CL-DESCR-300.xml |
DescriptionOfClassOfIndividualWithClassifiedSign | CLS-isDescribedBySign | MMT APPROVED | DESCRIPTION | Description of a class-of-temporal-part of a (Part 2) ClassOfIndividual with an instance of PossibleIndividual (normally a PhysicalObject) that serves as a sign that is a member a given type of sign (ClassOfInformationObject). | CL-DESCR-400.xml |
DocumentDefinitionByExample | DOC-isDefinedByExampleDoc | MMT APPROVED | DOCUMENT | Define a DocumentDefinition by relating it to an example information object (document). | CL-DOCS-050.xml |
ClassOfInformationObjectWithPresentationAndRepresentation | DOC-isSubClassOfPresAndRepres | MMT APPROVED | DOCUMENT | A class-of-temporal-part of an instance of ClassOfInformationObject is a specialization of a class-of-temporal-part of an instance of ClassOfInformationRepresentation and a specialization of a class-of-temporal-part of an instance of ClassOfInformationPresentation | CL-DOCS-100.xml |
DefinitionOfDocumentContentsType | DOC-contentsDefinedBy | NEW - for Batch#10 approval | DOCUMENT | Definng the contents type of an instance of ClassOfInformationObject by making it a specialization of a ClassOfInformationRepresentation that is classified with a ClassOfClassOfInformationRepresentation that is a specialization of DocumentDefinition. | CL-DOCS-150.xml |
DefinitionOfDocumentContentsLanguage | DOC-contentLanguageIs | NEW - for Batch#10 approval | DOCUMENT | Definng the Language of an instance of ClassOfInformationObject by making it a specialization of a ClassOfExpressInformationRepresentation that is classified with a ClassOfClassOfInformationRepresentation that is a specialization of a Language. | CL-DOCS-200.xml |
DefinitionOfDocumentContentsFileFormat | DOC-contentFormatIs | NEW - for Batch#10 approval | DOCUMENT | Definng the file format of an instance of ClassOfInformationObject by making it a specialization of a ClassOfExpressInformationRepresentation that is classified with a ClassOfClassOfInformationRepresentation that is a specialization of a RepresentationForm. | CL-DOCS-250.xml |
ClassOfInformationObjectHasFormatBeforeClassOfEvent | CLS-hasFormatBeforeEvent | NEW - for Batch#10 approval | DOCUMENT | Any member of a class-of-temporal-part of an instance of ClassOfInformationObject is a subClassOf an instance of ClassOfInformationRepreseentation that, in turn, is classified with a given RepresentationForm, and that happens/shall happen prior to the occurrence of a member of ClassOfEvent. | CL-DOCS-260.xml |
ClassOfInformationObjectHasFormatAfterClassOfEvent | CLS-hasFormatAfterEvent | NEW - for Batch#10 approval | DOCUMENT | Any member of a class-of-temporal-part of an instance of ClassOfInformationObject is a subClassOf an instance of ClassOfInformationRepreseentation that, in turn, is classified with a given RepresentationForm, and that happens/shall happen after the occurrence of a member of ClassOfEvent. | CL-DOCS-265.xml |
DefinitionOfContentsOfClassOfInformationObject | DOC-contentsAre3xClassified | NEW - for Batch#10 approval | DOCUMENT | A class-of-temporal-part of an instance of ClassOfInformationObject representing information about a ClassOfIndividual is a specialization of an instance of ClassOfExpressInformationRepresentation and the latter is classified with an instance of ClassOfClassOfInformationRepresentation, that is a specialization of a DocumentDefinition, a RepresentationForm, and a Language. | CL-DOCS-300.xml |
ContentsOfADocument | DOC-contentsDefinedByInfoRep | MMT APPROVED | DOCUMENT | The contents of a document ClassOfInformationObject are defined by specializing it from an instance of ClassOfInformationRepresentation. | CL-DOCS-350.xml |
DefinitionOfDocumentContentWithTemplateSet | DOC-contentsDefinedByTemplSet | MMT APPROVED | DOCUMENT | An instance of ClassOfInformationRepresentation that is the union of a set of templates, that are members of an EnumeratedSetOfClass, is the superclass a class-of-temporal-part of a ClassOfInformationObject. | CL-DOCS-400.xml |
DocumentTypeAboutAClassOfIndividualApplicableYesNo | DOC-aboutClassApplicableYesNo | MMT APPROVED | DOCUMENT | A document type about a class-of-temporal-part of a ClassOfIndividual is or is not applicable. | CL-DOCS-450.xml |
RequiredRepresentationOfClassOfIndividualOnDocumentType | CLS-representationOnDocIsReqd | NEW - for Batch#10 approval | DOCUMENT | A class-of-temporal-part of a Part 2 ClassOfIndividual is required to be represented to on an instance of a ClassOfInformationObject. | CL-DOCS-475.xml |
ReferenceToClassOfIndividualOnDocument | CLS-isReferredOnDOC | MMT APPROVED | DOCUMENT | A class-of-temporal-part of a Part 2 ClassOfIndividual is referred to on a document, just for cross-reference. | CL-DOCS-500.xml |
ReferenceToRepresentationOfClassOfIndividualOnDocument | CLS-isRepresentedOnDoc | NEW - for Batch#10 approval | DOCUMENT | A class-of-temporal-part of a Part 2 ClassOfIndividual is represented on a document, just for cross-reference. | CL-DOCS-525.xml |
RepresentationOfClassOfIndividual | CLS-represBy3xTypedInfoRep | MMT APPROVED - REVISED - for Batch#10 approval | DOCUMENT | Representation of a class-of-temporal-part of an instance of ClassOfIndividual, where the representing instance of ClassOfInformationRepresentation is typed with DocumentDefinition, Language, and RepresentationForm. | CL-DOCS-550.xml |
RepresentationOfClassOfIndividualWithTemplateSet | CLS-represByTemplateSet | MMT APPROVED - REVISED - for Batch#10 approval | DOCUMENT | A class-of-temporal-part of a typed ClassOfInformationRepresentation that is the union of a set of templates, that are members of an EnumeratedSetOfClass, is representing a class-of-temporal-part of a ClassOfIndividual in [hsdContentsType], [hasLanguage] and [hasFormat]. | CL-DOCS-600.xml |
RepresentationOfClassOfIndividualOnDocument | CLS-represOnDocWith3xTypedInfoRep | MMT APPROVED - REVISED - for Batch#10 approval | DOCUMENT | Information about a class-of-temporal-part of an instance of ClassOfIndividual is represented on a class-of-temporal-part of an instance of ClassOfInformationObject by an instance of ClassOfExpressInformationRepresentation, with Literals, that is classified with instances of ClassOfClassOfInformationRepresentation, and the latter is a subclass of instances of DocumentDefinition, Language, and RepresentationForm. | CL-DOCS-650.xml |
RepresentationOfClassOfIndividualOnDocumentWithTemplateSet | CLS-represOnDocByTemplateSet | MMT APPROVED - REVISED - for Batch#10 approval | DOCUMENT | Information about a class-of-temporal part of an instance of ClassOfIndividual is represented by an instance of ClassOfInformationRepresentation that is a union of template instances, collected in an instance of EnumeratedSetOfClass, and this ClassOfInformationRepresentation is classified with a ClassOfClassOfInformationRepresentation that is a subclass of a DocumentDefinition, a Language, and a RepresentationForm | CL-DOCS-700.xml |
ClassificationOfInformationRepresentation | COInfoRepresIs3xTyped | MMT APPROVED - REVISED - for Batch#10 approval | DOCUMENT | Typing of an instance of ClassOfInformationRepresentation in terms of DocumentDefinition, Language and RepresentationForm. | CL-DOCS-750.xml |
DefinitionOfClassOfInformationRepresentationWithTemplateSet | COInfoRepresDefinedByTemplateSet | MMT APPROVED | DOCUMENT | A class-of-temporal-part of an instance of ClassOfInformationRepresentation is the union of a set of templates that are members of an instance of EnumeratedSetOfClass and that together define that ClassOfInformationRepresentation. | CL-DOCS-800.xml |
TranslationOfClassOfInformationRepresentation | COInfoRepIsTranslatedTo | MMT APPROVED | DOCUMENT | Translation into another of language of an instance of ClassOfInformationRepresentation. | CL-DOCS-850.xml |
TranslationOfClassOfInformationObjectRequiredYesNo | COInfoObjectTranslatedYesNo | NEW - For Batch#10 approval | DOCUMENT | Translation into another of language of an instance of ClassOfInformationObject is required YesNo. | CL-DOCS-860.xml |
HardcopyOfDocumentRequiredYesNo | DOC-hardcopyReqdYesNo | NEW - For Batch 10 approval | DOCUMENT | Declaring a class-of-temporal-part of an instance of ClassOfInformationObject to be a subclass of an instance of ClassOfCompositeMaterial Yes or No. | CL-DOCS-900.xml |
ClassOfTemporalWholePartDefinition | CLS-hasClassOfTemporalPart | NEW - For Batch#11 Approval | EXISTENCE | A class-of-temporal-part of a ClassOfIndividual is linked to its class-of-temporal-whole | CL-EXIST-100.xml |
ActivityCausesEffectiveClassOfTemporalPartOfClassOfIndividual | beginOfCOTempPartCausedByAct | MMT APPROVED - REVISED - For Batch#11 Approval | EXISTENCE | A temporal part of an instance of Activity involves-by reference a class-of-temporal-part of a ClassOfIndividual that plays the Role of "EffectiveClass" in a temporal context, starting at the dateTime that that Activity has ended. | CL-EXIST-200.xml |
ActivityCausesEffectiveUrClassOfIndividual | CLS-effectivityCausedByAct | MMT APPROVED - REVISED - For Batch#11 Approval | EXISTENCE | A temporal part of an instance of Activity involves-by reference a ClassOfIndividual that plays the Role of "EffectiveClass" in a temporal context, starting at the dateTime that that Activity has ended. This ClassOfIndividual is an "UrClass" - one that does not have a class-of-temporal-whole. | CL-EXIST-300.xml |
ActivityCausesDeprecatedClassOfTemporalPartOfClassOfIndividual | endOfCOTempPartCausedByAct | MMT APPROVED - REVISED - For Batch#11 Approval | EXISTENCE | A temporal part of an instance of Activity involves-by reference a class-of-temporal-part of a ClassOfIndividual that plays the Role of "DeprecatedClass" in a temporal context, starting at the dateTime that that Activity has ended. | CL-EXIST-400.xml |
ActivityCausesDeprecatedUrClassOfIndividual | CLS-deprecationCausedByAct | MMT APPROVED - REVISED - For Batch#11 Approval | EXISTENCE | A temporal part of an instance of Activity involves-by reference a ClassOfIndividual that plays the Role of "DeprecatedClass" in a temporal context, starting at the dateTime that that Activity has ended. This ClassOfIndividual is an "UrClass" - one that does not have a class-of-temporal-whole. | CL-EXIST-500.xml |
FunctionalMappingOf2Numbers | equationWithTwoNumberInputs | MMT APPROVED | FUNCTION | Equation with two numbers as inputs and one number as result. | CL-FUNC-100.xml |
FunctionalMappingOf3Numbers | equationWithThreeNumberInputs | MMT APPROVED | FUNCTION | Equation with three numbers as inputs and one number as result. | CL-FUNC-200.xml |
FunctionalMappingOf2ExpressReals | equationWithTwoRealsInputs | MMT APPROVED | FUNCTION | Equation with two instances of ExpressReal as inputs and one instance of ExpressReal as result. | CL-FUNC-300.xml |
FunctionalMappingOf5ExpressReals | equationWithThreeRealsInputs | NEW - For Batch#11 approval | FUNCTION | Equation with five instances of ExpressReal as inputs and one instance of ExpressReal as result. | CL-FUNC-400.xml |
ClassifiedIdentificationOfClassOfIndividual | CLS-isIdentifiedByString | MMT APPROVED | IDENTIFICATION | Identification of a class-of-temporal-part of a (Part 2) ClassOfIndividual with an instance of ExpressString, according a given type of identification. | CL-IDENT-100.xml |
IdentificationOfClassOfIndividualWithClassifiedSign | CLS-isIdentifiedBySign | MMT APPROVED | IDENTIFICATION | Identification of a class-of-temporal-part of a (Part 2) ClassOfIndividual with an instance of PossibleIndividual (mostly a PhysicalObject) that serves as a sign, and is a member of a type of sign (ClassOfInformationObject). | CL-IDENT-200.xml |
ClassOfContainmentDefinition | CLS-contains | MMT APPROVED - REVISED - For Batch#11 approval | LOCATION | Members of a class-of-temporal-part of an instance of ClassOfIndividual shall or can be inside members of a class-of-temporal-part of an instance of another ClassOfIndividual. | CL-LOCTN-100.xml |
ClassOfRelativeLocationDefinition | CLS-isLocatedRelativeTo | MMT APPROVED | LOCATION | Members of a class-of-temporal-part of an instance of ClassOfIndividual shall or can be located in a relative position as compared with members of a class-of-temporal-part of an instance of another ClassOfIndividual. | CL-LOCTN-200.xml |
PositionOfClassMembersInA2DCoordinateSystem | CLS-isLocatedIn2dCoordinates | MMT APPROVED | LOCATION | The location of members of a class-of-temporal-part of an instance of a ClassOfIndividual is expressed in coordinates of a given two-dimensional coordinate system. | CL-LOCTN-300.xml |
PositionOfClassMembersInA3DCoordinateSystem | CLS-isLocatedIn3dCoordinates | MMT APPROVED | LOCATION | The location of members of a class-of-temporal-part of an instance of a ClassOfIndividual is expressed in coordinates of a given 3D coordinate system. | CL-LOCTN-400.xml |
SpecializationByCompoundType | CLS-isOfMaterialType | MMT APPROVED | MATERIAL | Declaring a class-of-temporal-part on an instance of ClassOfIndividual to be a subclass of an instance of (Part 2) ClassOfCompound. | CL-MATL-100.xml |
SpecializationByCrystallineStructureType | COCompoundHasCrystalStruc | MMT APPROVED | MATERIAL | Declaring a class-of-temporal-part on an instance of ClassOfCompound to be a subclass of an instance of ClassOfCrystallineStructure. | CL-MATL-200.xml |
SpecializationByBiologicalMatterType | CLS-isOfBioMatterType | MMT APPROVED | MATERIAL | Declaring a class-of-temporal-part of an instance of ClassOfArrangedIndividual to be a subclass of an instance of (Part 2) ClassOfBiologicalMatter. | CL-MATL-300.xml |
SpecializationByCompositeMaterialType | CLS-isOfCompositeMaterial | MMT APPROVED | MATERIAL | Declaring a class-of-temporal-part of an instance of ClassOfArrangedIndividual to be a subclass of an instance of ClassOfCompositeMaterial. | CL-MATL-400.xml |
SpecializationByParticulateMaterialType | CLS-isOfParticulateMaterial | MMT APPROVED | MATERIAL | Declaring a class-of-temporal-part of an instance of ClassOfArrangedIndividual to be a subclass of an instance of ClassOfParticulateMaterial | CL-MATL-500.xml |
SpecializationByPhase | CLS-hasPhase | MMT APPROVED | MATERIAL | Declaring a class-of-temporal-part of an instance of ClassOfArrangedIndividual to be a subclass of an instance of (Part 2)Phase. | CL-MATL-600.xml |
2-TupleWithRealElements | MultidimNumberOfTwoReals | MMT APPROVED | NUMBER | Definition of a n-tuple with two real numbers. | CL-NUMB-100.xml |
3-TupleWithRealElements | MultidimNumberOfThreeReals | MMT APPROVED | NUMBER | Definition of a n-tuple with three real numbers. | CL-NUMB-200.xml |
ReferenceNumberRangeWithBoundingRealValues | RefRealBoundedNumberRange | MMT APPROVED | NUMBER | Reference NumberRange with given lower and upper bounding real values. | CL-NUMB-300.xml |
NumberSpaceWithBoundingNumberSpace | RefNumberSpaceBoundedNumberSpace | MMT APPROVED | NUMBER | Reference NumberSpace with bounding integer numbers with values. | CL-NUMB-400.xml |
ReferencePropertyRangeWithValues | [for RDL items only] | MMT APPROVED | PROPERTY-CLASSOF | Definition of reference instance of PropertyRange with bounding values on a scale. | CL-COPTY-100.xml |
ClassOfIndividualHasReferencePropertyRange | CLS-hasRefPropertyRange | MMT APPROVED | PROPERTY-CLASSOF | Definition of an instance of PropertyRange of a ClassOfIndividual, using a reference property range. | CL-COPTY-200.xml |
ClassOfIndividualHasPropertyRangeWithBoundingValues | CLS-hasBoundedPropertyRange | MMT APPROVED | PROPERTY-CLASSOF | A ClassOfIndividual has a PropertyRange with bounding values and scale. | CL-COPTY-300.xml |
ClassOfIndividualHasTwoDimensionalPropertyRange | CLS-has2DPropertyRange | MMT APPROVED | PROPERTY-CLASSOF | ClassOfIndividual has a two-dimensional property range, with bounding values on scales. | CL-COPTY-400.xml |
ReferenceClassOfIndirectProperty | CLS-hasRefIndirectProperty | MMT APPROVED | PROPERTY-INDIRECT | The instance of ClassOfIndividual whose members possess a member of the ClassOfIndirectProperty, and that is highest in the class hierarchy, is related to an instance of PropertySpace by the defined instance of ClassOfIndirectProperty. | CL-INDPTY-100.xml |
ClassOfIndividualHasIndirectPropertyWithBoundingValues | CLS-hasBoundedIndirectProperty | MMT APPROVED | PROPERTY-INDIRECT | An instance of ClassOfIndividual possesses an instance of ClassOfIndirectProperty, with given bounding values and scale. | CL-INDPTY-200.xml |
ClassOfIndividualHasIndirectPropertyWithMaximumValue | CLS-hasIndirectPropertyMaxValue | MMT APPROVED | PROPERTY-INDIRECT | An instance of ClassOfIndividual has a ClassOfIndirectProperty with a given maximum value and scale. | CL-INDPTY-300.xml |
ClassOfIndividualHasIndirectPropertyWithValue | CLS-hasIndirectPropertyValue | MMT APPROVED | PROPERTY-INDIRECT | A class-of-temporal-part of an instance of ClassOfIndividual has a ClassOfIndirectProperty with a given point value and scale. | CL-INDPTY-400.xml |
ClassOfIndividualHasIndirectPropertyWithMinimumValue | CLS-hasIndirectPropertyMinValue | MMT APPROVED | PROPERTY-INDIRECT | An instance of ClassOfIndividual has a ClassOfIndirectProperty with a given minimum value and scale. | CL-INDPTY-500.xml |
ClassOfIndividualHasTwoDimensionalIndirectPropertyRange | CLS-has2DIndirectPropertyRange | MMT APPROVED | PROPERTY-INDIRECT | ClassOfIndividual has a two-dimensional indirect property range, with bounding values on scales. | CL-INDPTY-600.xml |
ClassOfIndividualHasConditionalIndirectPropertyWithValue | CLS-hasConditionalIndirProperty | MMT APPROVED | PROPERTY-INDIRECT | A class-of-temporal-part of an instance of ClassOfIndividual has a ClassOfIndirectProperty with a given point value and scale under the condition of another Property, possessed by a class-of-temporal-part of an instance of another ClassOfIndividual. | CL-INDPTY-700.xml |
ClassOfIndividualHasMonetaryValue | CLS-hasMonetaryValue | MMT APPROVED | PROPERTY-INDIRECT | A class-of-temporal-part of an instance of ClassOfIndividual has a ClassOfIndirectProperty, representing a monetary property, with a given value and currency (scale). | CL-INDPTY-800.xml |
PropertyValueInUoM | CLS-propertyHasValueInUoM | NEW - For Batch 11 approval | PROPERTY and STATUS | A Property, that is a member of a SinglePropertyDimension has a value on a scale. | CL-PTYST-040.xml |
ActivityCausesStatusedClassOfIndividual | CLS-hasStatusCausedByActivity | MMT APPROVED | PROPERTY and STATUS | A temporal part of an instance of Activity involves-by-reference a class-of-temporal-part of an instance of ClassOfIndividual that is a specialization of a given Status at the dateTime that that Activity has ended. | CL-PTYST-080.xml |
ClassOfIndividualHasStatus | CLS-hasStatus | MMT APPROVED | PROPERTY and STATUS | Any member of a class-of-temporal-part of an instance of ClassOfIndividual is classified with a given Status. | CL-PTYST-160.xml |
ClassOfIndividualHasStatusBeforeClassOfEvent | CLS-hasStatusBeforeEvent | NEW - For Batch 11 approval | PROPERTY and STATUS | Any member of a class-of-temporal-part of an instance of ClassOfIndividual is classified with a given Status, and that happens/shall happen before a member of ClassOfEvent occurs. | CL-PTYST-170.xml |
ClassOfIndividualHasPropertyWithValue | CLS-hasPropertyWithValue | MMT APPROVED | PROPERTY and STATUS | Member is a class-of-temporal-part of an instance of ClassOfIndividual have a Property with a value on a scale. | CL-PTYST-240.xml |
ClassOfIndividualHasPropertyWithValueAndStatus | CLS-hasPropertyWithStatusedValue | MMT APPROVED | PROPERTY and STATUS | Property of (members of) a ClassOfIndividual with a value on a scale and with a status. | CL-PTYST-320.xml |
ClassOfIndividualHasPropertyWithVariance | CLS-hasPropertyWithVariance | MMT APPROVED | PROPERTY and STATUS | Members of a ClassOfIndividual have a Property with a plus and minus variance. | CL-PTYST-400.xml |
ClassOfIndividualHasPropertyWithPercentageVariance | CLS-hasPropertyWithPercVariance | MMT APPROVED | PROPERTY and STATUS | Members of a ClassOfIndividual have a Property with a plus and minus variance expressed in a percentage of the Property value. | CL-PTYST-480.xml |
ClassOfIndividualHasConditionalPropertyWithValue | CLS-hasCondPropertyWithValue | MMT APPROVED | PROPERTY and STATUS | Property of (members of) a class-of-temporal-part instance of ClassOfIndividual with a value on a scale under the condition of occurrence of a given other Property (specified in the RDL). | CL-PTYST-560.xml |
ClassOfIndividualHasTwoDimensionalPropertyWithValues | CLS-has2DPropertyWithValues | MMT APPROVED | PROPERTY and STATUS | Two-dimensional property of (members of) a class-of-temporal-part of an instance of ClassOfIndividual, with values on scales. | CL-PTYST-640.xml |
ClassOfIndividualHasPropertyRatio | CLS-hasPropertyRatio | MMT APPROVED | PROPERTY and STATUS | Members of ClassOfIndividual have a ratio between two property values of the same property type, expressed in a dimensionless real number. | CL-PTYST-720.xml |
ReferencePropertyWithValue | [for RDL items only] | MMT APPROVED | PROPERTY and STATUS | Definition of a reference Property with a given value on a scale. | CL-PTYST-800.xml |
ReferenceScaleDefinition | [for RDL items only] | MMT APPROVED | PROPERTY and STATUS | Definition of the UoM symbol of a Scale. | CL-PTYST-880.xml |
ReferenceTwoDimensionalScaleDefinition | [for RDL items only] | MMT APPROVED | PROPERTY and STATUS | Definition of a two-dimensional scale. | CL-PTYST-920.xml |
ClassOfOtherRelationshipWithDualParticipation | CLS-dualParticipationInRole | MMT APPROVED | RELATIONSHIP-OTHER | Definition of a reference ClassOfRelationshipWithSignature with one end a class-of-temporal-part of an instance of ClassOfIndividual participating in, and the other end a class-of-temporal-part of an instance of another ClassOfIndividual also participating in, a ClassOfActivity, and each end with its cardinality. | CL-OTHRL-250.xml |
ClassOfOtherRelationshipWithParticipationAndInvolvementByReference | CLS-participationAndInvolvementInRole | MMT APPROVED | RELATIONSHIP-OTHER | Definition of a reference ClassOfRelationshipWithSignature with one end a class-of-temporal-part of an instance of ClassOfIndividual participating in, and the other end a class-of-temporal-part of an instance of another ClassOfIndividual involved by reference in, a ClassOfActivity, and each end with its cardinality. | CL-OTHRL-500.xml |
ClassOfIntendedRoleAndDomainDefinition | CLS-isIntendedFor | MMT APPROVED | RELATIONSHIP-OTHER | A member of a class-of-temporal-part instance of a ClassOfArrangedIndividual is intended to play the Role in an instance of RoleAndDomain. This defines the instance of ClassOfIntendedRoleAndDomain involved. | CL-OTHRL-750.xml |
DifferenceOf2Classes | [ask a specialist] | MMT APPROVED | SET OPERATIONS | Definition of the difference between the members of an enumerated set of two Part 2 Classes. The result Class is the difference between the membership of the union of the classes that are members of the EnumeratedSetOfClass and their intersection. | CL-SETOP-080.xml |
EquivalentClasses | CLS-2ClassesSameMembers | NEW - For Batch#11 approval | SET OPERATIONS | The difference between the members of an enumerated set of two Part 2 Classes is an EmptyClassClass. Hence they have the same membership. Compare with owl:equivalentClass. | CL-SETOP-120.xml |
DisjointnessOf2Classes | [ask a specialist] | MMT APPROVED | SET OPERATIONS | Definition of the disjointness of two Part 2 Classes. | CL-SETOP-160.xml |
EnumeratedSetOf2ClassesDefinition | [ask a specialist] | MMT APPROVED | SET OPERATIONS | Definition of a set of two Part 2 classes, thereby explicitly specifying that both are members of the set. | CL-SETOP-240.xml |
EnumeratedSetOf3ClassesDefinition | [ask a specialist] | MMT APPROVED | SET OPERATIONS | Definition of a set of three Part 2 classes, thereby explicitly specifying that all three are members of the set. | CL-SETOP-320.xml |
IntersectionOf2Classes | [ask a specialist] | MMT APPROVED | SET OPERATIONS | Definition of the intersection of the members of an enumerated set of two Part 2 classes. | CL-SETOP-400.xml |
RelativeComplementOf2Classes | [ask a specialist] | MMT APPROVED | SET OPERATIONS | Definition of the relative complement of a Part 2 Class in another Part 2 Class. | CL-SETOP-480.xml |
UnionOf2Classes | CLS-isUnionOfTwoClasses | MMT APPROVED | SET OPERATIONS | Definition of the union of two Part 2 Classes. | CL-SETOP-560.xml |
EnumerationOfClass | CLS-isMemberOfEnumSetOfClass | MMT APPROVED | SET OPERATIONS | With an instance of EnumeratedSetOfClass a set of instances of Part 2 Class, or a subtype thereof, is collected by making them a member of the former. | CL-SETOP-640.xml |
InformationSetPicklist | TPL-isMemberOfEnumSetOfClassYesNo | NEW - For Batch#11 approval | SET OPERATIONS | With an instance of EnumeratedSetOfClass a set of instances of Templates, is collected by making them a member of the former or not, as defined by an instance of ClassOfAssertion. | CL-SETOP-720.xml |
PicklistOfClass | CLS-isMemberOfEnumSetOfClassYesNo | NEW - For Batch#11 approval | SET OPERATIONS | A Yes/No selection is made of members of an instance of EnumeratedSetOfClass by means of selecting the applicable instance of ClassOfAssertion. | CL-SETOP-800.xml |
UnionOfEnumeratedSetOfClass | CLS-isUnionOfEnumSetOfClassMembers | NEW - For Batch#11 approval | SET OPERATIONS | The union of the set of Classes that are member of an EnumeratedSetOfClass are unionized into a result Class. | CL-SETOP-880.xml |
ClassOfIndividualHasShape | CLS-hasShape | MMT APPROVED | SHAPE | Any member of a class-of-temporal-part of an instance of ClassOfArrangedIndividual is a member of a given instance of Shape. | CL-SHAPE-100.xml |
ClassOfShapeDimensionDefinition | CLS-hasShapeDimensionRange | MMT APPROVED | SHAPE | Any member of a class-of-temporal-part of an instance of ClassOfShape possesses a member of ClassOfShapeDimension, defined by using a reference PropertySpace. That PropertySpace can be a SinglePropertyDimension, a PropertyRange, or a MultidimensionalPropertySpace. | CL-SHAPE-200.xml |
ShapeDimensionOfClassOfShapeWithReferenceProperty | CLS-hasShapeDimWithRefProperty | MMT APPROVED | SHAPE | Any member of a class-of-temporal-part of an instance of ClassOfArrangedIndividual, is a member of an instance of Shape that is member of an instance of ClassOfShape and has a (single) ShapeDimension defined with a reference Property. | CL-SHAPE-300.xml |
DefinitionOfShapeRepresentationWithExternalCode | CLS-hasShapeReprExternalCode | MMT APPROVED | SHAPE | Definition of a class-of-temporal-part of an instance of Shape with a code defined outside ISO 15926-2. | CL-SHAPE-400.xml |
DefinitionOfShapeOfClassOfIndividual | CLS-hasShapeReprPart3Code | MMT APPROVED | SHAPE | A class-of-temporal-part of an instance of ClassOfArrangedIndividual has a Shape that is defined with Part 3 templates, has coordinates, and is in a given RepresentationForm. | CL-SHAPE-500.xml |
DefinitionOfShape2AxisPlacement | [ask a specialist] | MMT APPROVED | SHAPE | A class-of-temporal-part of an instance of ClassOfInformationObject is positioned at coordinates that are defined with an instance of the union of ClassOfInformationObject and p3:Axis2Placement. | CL-SHAPE-600.xml |
ClassOfIndividualHasDimensionedShapeWithValue | CLS-hasDimensionedShape | NEW - For Batch#10 approval | SHAPE DIMENSION | Members of a class-of-temporal-part of an instance of ClassOfIndividual have a classified Shape, that Shape has a classified ShapeDimension, that ShapeDimension has a Property classified as LENGTH, and that Property is quantified with an ExpressReal on a Scale. | CL-SHDIM-100.xml |
ClassOfStreamSource | COStreamHasAsSource | MMT APPROVED | STREAM | A member of a class-of-temporal-part of a stream class begins at a member of a class-of-temporal-part of a given ClassOfIndividual. | CL-STRM-100.xml |
ClassOfStreamDestination | COStreamHasAsDestination | MMT APPROVED | STREAM | A member of a class-of-temporal-part of a stream class ends at a member of a class-of-temporal-part of a given ClassOfIndividual. | CL-STRM-200.xml |
ClassOfCompositionDefinition | CLS-hasAsCompositionPart | MMT APPROVED - REVISED - For Batch#12 approval | STRUCTURE | A member of a class-of-temporal-part instance of a ClassOfArrangedIndividual has a member of a class-of-temporal-part instance of a ClassOfIndividual as a part of a composition, and that relating ClassOfCompositionOfIndividual is identified for classification of instances of CompositionOfIndividual | CL-STRUC-060.xml |
ClassOfArrangementDefinition | CLS-hasAsArrangementPart | MMT APPROVED - REVISED - For Batch#12 approval | STRUCTURE | A member of a class-of-temporal-part instance of a ClassOfArrangedIndividual has a member of a class-of-temporal-part instance of a ClassOfIndividual as a part in an arrangement, and that relating ClassOfArrangementOfIndividual is identified for classification of instances of CompositionOfIndividual | CL-STRUC-120.xml |
ClassOfAssemblyDefinition | CLS-hasAsAssemblyPart | MMT APPROVED - REVISED - For Batch#12 approval | STRUCTURE | A member of a class-of-temporal-part instance of a ClassOfArrangedIndividual has a member of a class-of-temporal-part instance of a ClassOfIndividual as a part in an arrangement, and that relating ClassOfAssemblyOfIndividual is identified for classification of instances of AssemblyOfIndividual. | CL-STRUC-180.xml |
PartInClassOfAssemblyApplicableYesNo | CLS-hasAsAssemblyPartYesNo | MMT APPROVED | STRUCTURE | A class-of-temporal-part instance of a ClassOfArrangedIndividual has a class-of-temporal-part instance of a ClassOfIndividual as a part in an instance of ClassOfAssemblyOfIndividual. The latter is classified with the instance TRUE or FALSE of ClassOfAssertion. | CL-STRUC-240.xml |
ClassOfFeatureWholePartDefinition | CLS-hasAsFeaturePart | MMT APPROVED - REVISED - For Batch#12 approval | STRUCTURE | A member of a class-of-temporal-part instance of a ClassOfArrangedIndividual has a member of a class-of-temporal-part instance of a ClassOfIndividual as a part in an arrangement, and that relating ClassOfFeatureWholePartDefinition is identified for classification of instances of FeatureWholePart. | CL-STRUC-300.xml |
FeatureOfClassOfIndividualApplicableYesNo | CLS-hasAsFeaturePartYesNo | MMT APPROVED | STRUCTURE | A class-of-temporal-part instance of a ClassOfArrangedIndividual has a class-of-temporal-part instance of a ClassOfFeature as a part in an instance of ClassOfFeatureWholePart. The latter is classified with the instance TRUE or FALSE of ClassOfAssertion. | CL-STRUC-360.xml |
ClassOfDirectConnectionDefinition | CLS-isDirectlyConnectedWith | MMT APPROVED | STRUCTURE | A member of a class-of-temporal-part instance of a ClassOfIndividual is directly connected with a member of a class-of-temporal-part instance of another ClassOfIndividual. This defines the instance of ClassOfDirectConnection involved. | CL-STRUC-420.xml |
ClassifiedClassOfDirectConnectionDefinition | CLS-isTypedDirectlyConnectedWith | MMT APPROVED | STRUCTURE | A member of a class-of-temporal-part instance of a ClassOfIndividual is directly connected with a member of a class-of-temporal-part instance of another ClassOfIndividual. This defines the instance of ClassOfDirectConnection involved, with an explicit typing of the latter. | CL-STRUC-480.xml |
ClassOfIndirectConnectionDefinition | CLS-isIndirectlyConnectedWith | MMT APPROVED | STRUCTURE | A member of a class-of-temporal-part instance of a ClassOfIndividual is indirectly connected with a member of a class-of-temporal-part instance of another ClassOfIndividual. This defines the instance of ClassOfIndirectConnection involved. | CL-STRUC-540.xml |
ClassifiedClassOfIndirectConnectionDefinition | CLS-isTypedIndirectlyConnectedWith | MMT APPROVED | STRUCTURE | A member of a class-of-temporal-part instance of a ClassOfIndividual is indirectly connected with a member of a class-of-temporal-part instance of another ClassOfIndividual. This defines the instance of ClassOfIndirectConnection involved, with an explicit typing of the latter. | CL-STRUC-600.xml |
ClassOfIndividualUsedInDirectConnectionDefinition | CLS-isUsedForDirectConnection | MMT APPROVED | STRUCTURE | A member of a class-of-temporal-part of an instance of ClassOfIndividual is used for the direct connection as represented by a given instance of ClassOfDirectConnection. | CL-STRUC-660.xml |
ClassOfIndividualUsedInIndirectConnectionDefinition | CLS-isUsedForIndirectConnection | MMT APPROVED | STRUCTURE | A member of a class-of-temporal-part of an instance of ClassOfIndividual is used for the indirect connection as represented by a given instance of ClassOfIndirectConnection. | CL-STRUC-720.xml |
NumberOfMembersOfClassOfIndividual | CLS-hasNumberOfMembers | MMT APPROVED | STRUCTURE | A class-of-temporal-part of an instance of ClassOfIndividual has a counted aggregate of members of one ClassOfIndividual. | CL-STRUC-780.xml |
TEMPLATES FOR WHOLELIFEINDIVIDUALs | |||||
TEMPLATES FOR TEMPORAL PARTS OF POSSIBLE INDIVIDUAL OR SUBTYPES THEREOF - (the 'temporal whole' may be an instance of WholeLifeIndividual or a temporal part thereof). | |||||
TEMPLATES FOR INDIVIDUALs | |||||
ParticipationOfIndividualInActivity | IND-participatesInActivity | MMT APPROVED - REVISED | ACTIVITY | Participation of a temporal part of an instance of PhysicalObject in a temporal part of an instance of Activity, where the Participation relationship is classified with a ClassOfParticipation that serves as a pattern for validation. | IN-ACTIV-040.xml |
ParticipationOfIndividualInActivityType | IND-participatesInActivity | NEW - for Batch#9 approval | ACTIVITY | Participation of a temporal part of an instance of PhysicalObject in an instance of ClassOfActivity via its member, where the Participation relationship is classified with a ClassOfParticipation, mainly to provide a link to the ClassOfPerson of which the participating PhysicalObject is a member. | IN-ACTIV-050.xml |
EndingOfParticipationOfTwoIndividualsInSameActivity | IND-2ParticipatedInOneActivity | NEW - for Batch#9 approval | ACTIVITY | Ending of a Participation of temporal part of two instances of PhysicalObject in a temporal part of an instance of Activity, where the Participation relationships are defined with the Roles in which the PhysicalObjects participated. | IN-ACTIV-060.xml |
InvolvementByReferenceOfIndividualInActivity | IND-isInvolvedByRefInActivity | MMT APPROVED - REVISED | ACTIVITY | A temporal part of an instance of PossibleIndividual is involved-by-reference in a temporal part of an instance of Activity, where the type of involvement is defined by an instance of ClassOfInvolvementByReference. | IN-ACTIV-080.xml |
RecognitionOfInformation | IND-isRecognnizedByActivity | MMT APPROVED | ACTIVITY | A temporal part of an instance of Activity recognizes information, expressed with a Template, where the type of recognition is defined with an instance of ClassOfRecognition. | IN-ACTIV-160.xml |
ActivityCausesBegunIndividual | IND-activityCausesBeginning | MMT APPROVED - REVISED | ACTIVITY | An Activity causes an Event that, in turn, marks the beginning of a PossibleIndividual. | IN-ACTIV-240.xml |
ActivityCausesEndedIndividual | IND-activityCausesEnding | MMT APPROVED - REVISED | ACTIVITY | An Activity causes an Event that, in turn, marks the ending of a PossibleIndividual. | IN-ACTIV-280.xml |
MeasuringAPropertyOfAnIndividual | IND-hasPropertyMeasuredBy | MMT APPROVED | ACTIVITY | A temporal part of an instance of Activity is measuring the value of a Property possessed by a temporal part of an instance of PossibleIndividual. | IN-ACTIV-400.xml |
MeasuringPropertyOfIndividualOverAPeriodInTime | IND-hasPropMeasuredOverTimeBy | MMT APPROVED | ACTIVITY | The values of a property possessed by a temporal part of an instance PossibleIndividual are being measured between two given date-times, where these values are being represented as a time series. | IN-ACTIV-440.xml |
ApprovalWithStatusOfRelationshipByIndividual | IND-approvesRelationship | MMT APPROVED | ACTIVITY | A temporal part of an instance of PossibleIndividual approves an instance of a subtype of Relationship between two things. That approval is classified with a ClassOfApprovalByStatus. | IN-ACTIV-480.xml |
InstallingPhysicalObjectInFunctionalLocation | IND-installedInFunctionalLocation | MMT APPROVED - REVISED - for Batch #9 approval | ACTIVITY | A temporal part of an Activity causes the beginning of a Physical Object that is a Counterpart of a NonActual (designed) PhysicalObject, meaning that the former has been installed in a functional location that is represented by the latter. | IN-ACTIV-520.xml |
UninstallingPhysicalObjectFromFunctionPlace | IND-isUninstalled | MMT APPROVED - REVISED - for Batch #9 approval | ACTIVITY | A temporal part of an Activity causes the ending of a Physical Object that is a temporal part of an Actual PhysicalObject and a Counterpart of a NonActual (designed) PhysicalObject, meaning that the former has been uninstalled from a function place that is represented by the latter. | IN-ACTIV-560.xml |
ClassificationOfIndividual | IND-isClassifiedAs | MMT APPROVED | CLASSIFICATION | A temporal part of a PossibleIndividual fulfils the criteria for membership of a (Part 2) ClassOfIndividual | IN-CLSIF-100.xml |
NonComplianceWithClassOfIndividual | IND-doesNotComplyWith | MMT APPROVED | CLASSIFICATION | As of a given dateTime a temporal part of a PossibleIndividual no longer fulfils the criteria for membership of a (Part 2) ClassOfIndividual, and the problem is described with a ClassOfInformationObject, that is effective at the same dateTime. | IN-CLSIF-200.xml |
IndividualIsMemberOfClassOfIndividualYesNo | IND-isMemberOfClassYesNo | NEW - For Batch9 Approvalx | CLASSIFICATION | A PossibleIndividual is classified with a (Part 2) ClassOfIndividual, but that Classification relationship is classified with an instance of ClassOfAssertion. | IN-CLSIF-300.xml |
ClassifiedDescriptionOfIndividual | IND-isDescribedWithString | MMT APPROVED | DESCRIPTION | A temporal part of a PossibleIndividual is described with an instance of ExpressString according to a given type of description. | IN-DESCR-100.xml |
ClassifiedDescriptionOfIndividualViaReference | IND-isDescribedViaNote | NEW - For Batch#9 approval | DESCRIPTION | A temporal-part of a (Part 2) PossibleIndividual is described with an instance of ExpressString via a reference to that ExpressString. | IN-DESCR-200.xml |
DescriptionOfIndividualWithClassifiedSign | IND-isDescribedWithSign | MMT APPROVED | DESCRIPTION | A temporal part of a PossibleIndividual is described with an instance of PossibleIndividual that serves as a sign, and that is a member of a give sign type (ClassOfInformationObject. | IN-DESCR-300.xml |
ClassifiedRepresentationOfIndividual | IND-isDescribedWithInfoRep | MMT APPROVED | DESCRIPTION | A temporal part of a PossibleIndividual is represented with an instance of ClassOfInformationRepresentation according to a given type of representation. | IN-DESCR-400.xml |
InformationRepresentationOfIndividualInLanguage | IND-isRepresentedInLanguage | NEW - For Batch#12 approval | DESCRIPTION | A temporal part of a PossibleIndividual is represented with an instance of ExpressString (xsd:string) that is classified with a given Language | IN-DESCR-450.xml |
DocumentInitiation | DOC-isPutOnRecordByACT | NEW - For Batch#10 approval | DOCUMENT | Initiating a document, where the master record of that document is being initiated, with an initiation date-time. | IN-DOCS-080.xml |
DocumentCreation | DOC-isCreatedByACT | NEW - For Batch#10 approval | DOCUMENT | Creating a document, where the master record of that document is being created, with a creation date-time. | IN-DOCS-160.xml |
DocumentReview | DOC-isReviewedByACT | NEW - For Batch#10 approval | DOCUMENT | Reviewing a document, where a member of that document (usually a computer file or paper document) is being reviewed, with a Status, a reviewing Activity, and a review date-time. | IN-DOCS-200.xml |
DocumentApproval | DOC-isApprovedByACT | MMT APPROVED - REVISED - For Batch#10 approval | DOCUMENT | Approving a document, where a member of that document (usually a computer file or paper document) is being approved, with a Status, a approving Activity, and a approval date-time. | IN-DOCS-240.xml |
DocumentPublication | DOC-isPublishedByACT | MMT APPROVED - REVISED - For Batch#10 approval | DOCUMENT | Publishing a document, where a member of that document (usually a computer file or paper document) is being published, with a Status, a publication Activity, and a publication date-time. | IN-DOCS-320.xml |
PlannedDocumentPublication | DOC-plannedPublishedByACT | NEW - For Batch#10 approval | DOCUMENT | Planned publishing a document, where a member of that document (usually a computer file or paper document) is being published, with a Status, and a planned publication date-time in a Planning World. | IN-DOCS-321.xml |
DocumentReceival | DOC-isReceivedByACT | NEW - For Batch#10 approval | DOCUMENT | Receiving a document, where a member of that document class is being received, with a receival dateTime. | IN-DOCS-330.xml |
DocumentPublishingWithResponsibleParty | DOC-isPublishedByACTParty | NEW - For Batch#10 approval | DOCUMENT | Publishing a document with publishing activity, status, date-time, and responsible party. | IN-DOCS-400.xml |
DocumentRevision | DOC-isRevisedByACT | MMT APPROVED - REVISED - For Batch#10 approval | DOCUMENT | Revising a document, where the master record of that document is being revised, with a revision date-time. | IN-DOCS-480.xml |
InformationOnIndividualDocument | INDComputerFileIsClassifiedAs | MMT APPROVED | DOCUMENT | A temporal part of an instance of InformationObject is classified with a class-of-temporal-part of an instance of ClassOfInformationObject which is a specialization of a class-of-temporal-part of an instance of ClassOfInformationRepresentation. | IN-DOCS-560.xml |
SemanticCopyOfIndividual | IND-isCopyOfAnotherIND | NEW - For Batch#10 approval | DOCUMENT | The information about two instances of PossibleIndividual is represented by the same instance of ClassOfInformationRepresentation, but possibly with a different ClassOfInformationPresentation and/or meta information. | IN-DOCS-600.xml |
ReferenceToIndividualOnDocument | IND-isReferredOnDOC | MMT APPROVED | DOCUMENT | A PossibleIndividual is represented on a document, no further details | IN-DOCS-640.xml |
RepresentationOfIndividual | IND-represBy3xTypedInfoRep | NEW - for Batch#10 approval | DOCUMENT | Representation of a temporal part of an instance of PossibleIndividual, where the representing instance of ClassOfInformationRepresentation is typed with DocumentDefinition, Language, and RepresentationForm. | IN-DOCS-680.xml |
RepresentationOfIndividualOnDocument | IND-isRepresentedOnDOC | MMT APPROVED - REVISED - for Batch#10 approval | DOCUMENT | Information about a temporal part of an instance of PossibleIndividual is represented by an instance of ClassOfInformationRepresentation that is classified with an instance of ClassOfClassOfInformationRepresentation that is a specialization of DocumentDefinition, Language, and RepresenttionForm. | IN-DOCS-720.xml |
RepresentationOfIndividualOnDocumentWithTemplateSet | IND-isRepresOnDocWithTemplateSet | MMT APPROVED - REVISED - for Batch#10 approval | DOCUMENT | Information about a temporal part of an instance of PossibleIndividual is represented by an instance of ClassOfInformationRepresentation that is a union of template instances, collected in an instance of EnumeratedSetOfClass, and this ClassOfInformationRepresentation is classified with a ClassOfClassOfInformationRepresentation that is a subclass of a DocumentDefinition, a Language, and a RepresentationForm | IN-DOCS-800.xml |
IndividualHasTemporalPart | IND-hasTemporalPart | NEW - For Batch#11 Approval+ | EXISTENCE | A temporal part of a PossibleIndividual is related to its temporal whole | IN-EXIST-100.xml |
BeginningOfIndividualAtEvent | IND-hasBeginningIndividualAtEvent | MMT APPROVED | EXISTENCE | An instance of a PossibleIndividual begins its existence at an Event | IN-EXIST-200.xml |
BeginningOfTemporalPartAtEvent | IND-hasBeginningTempPartAtEvent | NEW - For Batch#11 approvalx | EXISTENCE | A temporal part of an instance of PossibleIndividual begins its existence at an Event | IN-EXIST-210.xml |
BeginningOfMemberOfClassOfIndividualAtEvent | IND-CLShasMemberAtEvent | NEW - For Batch#11 approval | EXISTENCE | An instance of PossibleIndividual that is a member of a given ClassOfIndividual begins its existence at an Event | IN-EXIST-250.xml |
EndingOfIndividual | IND-hasEndingDateTime | MMT APPROVED | EXISTENCE | A PossibleIndividual ends its existence at a given date-time. | IN-EXIST-300.xml |
EndingOfIndividualAtClassifiedEvent | IND-hasAsEndingTempPartAtEvent | MMT APPROVED | EXISTENCE | An instance of PossibleIndividual ends its existence at an Event of a given type. | IN-EXIST-400.xml |
SkillOfAPerson | INDPersonHasAsSkill | MMT APPROVED | FUNCTION | A temporal part of an instance of Person has a skill, defined by means of a ClassOfRelationshipWithSignature. | IN-FUNC-100.xml |
ClassifiedIdentificationOfIndividual | IND-isIdentifiedWithString | MMT APPROVED+ | IDENTIFICATION | A temporal part of a PossibleIndividual is identified with an instance of ExpressString according a given type of identification. | IN-IDENT-100.xml |
LabelChangeOfIndividual | IND-hasLabelChanged | NEW TEMPLATE 2020-04-11 | IDENTIFICATION | The classified label of a PossibleIndividual has been changed to another string value. | IN-IDENT-150.xml |
IdentificationOfIndividualWithClassifiedSign | IND-isIdentifiedWithSign | MMT APPROVED | IDENTIFICATION | A temporal part of a PossibleIndividual is identified with another PossibleIndividual that serves as a sign, and is a member of a given sign type (ClassOfInformationObject). | IN-IDENT-200.xml |
ContainmentOfAnIndividual | IND-contains | MMT APPROVED | LOCATION | A temporal part of an instance of PossibleIndividual is contained inside a temporal part of an instance of another PossibleIndividual. | IN-LOCTN-100.xml |
RelativeLocationOfIndividual | IND-isLocatedRelativeTo | MMT APPROVED+ | LOCATION | A temporal part of an instance of PossibleIndividual is located in a relative position as compared with a temporal part of an instance of another PossibleIndividual. | IN-LOCTN-200.xml |
PositionOfAnIndividualInA2DCoordinateSystem | IND-isLocatedIn2dCoordinates | MMT APPROVED | LOCATION | The location of a temporal part of an instance of a PossibleIndividual is expressed in coordinates of a given two-dimensional coordinate system. | IN-LOCTN-300.xml |
PositionOfAnIndividualInA3DCoordinateSystem | IND-isLocatedIn3dCoordinates | MMT APPROVED | LOCATION | The location of a temporal part of an instance of a PossibleIndividual is expressed in coordinates of a given three-dimensional coordinate system. | IN-LOCTN-400.xml |
ClassificationOfIndividualWithCompoundType | IND-isOfMaterialType | MMT APPROVED | MATERIAL | A temporal part of an instance of PossibleIndividual is a member of an instance of ClassOfCompound. | IN-MATL-100.xml |
ClassificationOfIndividualWithBiologicalMatterType | IND-isOfBioMatterType | MMT APPROVED | MATERIAL | A temporal part of an instance of PossibleIndividual is a member of an instance of ClassOfBiologicalMatter. | IN-MATL-200.xml |
ClassificationOfIndividualWithCompositeMaterialType | IND-isOfCompositeMaterial | MMT APPROVED | MATERIAL | A temporal part of PossibleIndividual is a member of a ClassOfCompositeMaterial | IN-MATL-300.xml |
ClassificationOfIndividualWithParticulateMaterialType | IND-isOfParticulateMaterial | MMT APPROVED | MATERIAL | A temporal part of an instance of PossibleIndividual is a member of a ClassOfParticulateMaterial | IN-MATL-400.xml |
ClassificationOfIndividualWithPhase | IND-hasPhase | MMT APPROVED | MATERIAL | A temporal part of an instance of PossibleIndividual is a member of a Phase. | IN-MATL-500.xml |
IndividualHasIndirectPropertyWithBoundingValues | IND-hasBoundedIndirectProperty | MMT APPROVED | PROPERTY-INDIRECT | An instance of PossibleIndividual is classified with an instance of ClassOfIndirectProperty, with given bounding values and scale. | IN-INDPTY-100.xml |
IndividualHasIndirectPropertyWithMaximumValue | IND-hasIndirectPropertyMaxValue | MMT APPROVED - REVISED -For Batch#11 approval | PROPERTY-INDIRECT | A temporal part of an instance of PossibleIndividual possesses an instance of IndirectProperty, with given maximum value and scale. | IN-INDPTY-200.xml |
IndividualHasIndirectPropertyWithMaximumValueInPeriodInTime | IND-hasIndPropertyValuePeriod | NEW - For Batch#11 approval | PROPERTY-INDIRECT | A temporal part of an instance of PossibleIndividual possesses an instance of IndirectProperty, with given maximum value and scale, where that temporal part exists in a given PeriodInTime. | IN-INDPTY-300.xml |
IndividualHasIndirectPropertyWithValue | IND-hasIndirectPropertyValue | MMT APPROVED | PROPERTY-INDIRECT | IndirectProperty possessed by an instance of PossibleIndividual with given value and scale. | IN-INDPTY-400.xml |
IndividualHasIndirectPropertyWithAverageValueInPeriodInTime | IND-hasIndPropertyAvgValuePeriod | NEW - For Batch#11 approval | PROPERTY-INDIRECT | A temporal part of an instance of PossibleIndividual possesses an instance of IndirectProperty, with given average value and scale, where that temporal part exists in a given PeriodInTime. | IN-INDPTY-500.xml |
IndividualHasIndirectPropertyWithMinimumValue | IND-hasIndirectPropertyMinValue | MMT APPROVED - REVISED - For Batch#11 Approval | PROPERTY-INDIRECT | A temporal part of an instance of PossibleIndividual possesses an instance of IndirectProperty, with given minimum value and scale. | IN-INDPTY-600.xml |
IndividualHasIndirectPropertyWithMinimumValueInPeriodInTime | IND-hasIndPropertyMinValuePeriod | NEW - For Batch#11 approval | PROPERTY-INDIRECT | A temporal part of an instance of PossibleIndividual possesses an instance of IndirectProperty, with given minimum value and scale, where that temporal part exists in a given PeriodInTime. | IN-INDPTY-700.xml |
IndividualHasMonetaryValue | IND-hasMonetaryValue | MMT APPROVED+ | PROPERTY-INDIRECT | Price or cost of a PossibleIndividual with cost type, amount and currency | IN-INDPTY-800.xml |
IndividualHasPropertyWithValue | IND-hasPropertyWithValue | MMT APPROVED | PROPERTY and STATUS | An instance of PossibleIndividual possesses a Property with given value and scale. | IN-PTYST-100.xml |
IndividualHasTwoDimensionalPropertyWithValues | IND-has2DPropertyWithValues | MMT APPROVED | PROPERTY and STATUS | A temporal part of an instance of PossibleIndividual has a two-dimensional property of a given type, with given values and scales. | IN-PTYST-200.xml |
IndividualHasPropertyRatio | IND-hasPropertyRatio | MMT APPROVED | PROPERTY and STATUS | Ratio between two property values of the same property type of an instance of PossibleIndividual, expressed in a dimensionless real number. A duty cycle is the ratio of time that a mechanism spends in an active state, to the overall time available; Expression of the real number in a percentage has to be done in postprocessing. | IN-PTYST-300.xml |
IndividualHasStatus | IND-hasStatus | MMT APPROVED | PROPERTY and STATUS | A temporal part of an instance of PossibleIndividual has a Status. | IN-PTYST-400.xml |
EndingOfStatusOfIndividualAtClassifiedEvent | IND-endOfStatusAtEvent | NEW - For Batch#11 Approval+ | PROPERTY and STATUS | The Status of a temporal part of an instance of PossibleIndividual is ended by an Event at a date and time. | IN-PTYST-450.xml |
ParticipatingRelationshipBetweenTwoPhysicalObjects | PHO-hasOtherRelationshioToPHO | MMT APPROVED - REVISED - For Batch#12 approval | RELATIONSHIP-OTHER | A temporal part of an instance of PhysicalObject is related, in a Role, to a temporal part of another instance of PhysicalObject in another Role, and that relationship is classified with a given instance of ClassOfRelationshipWithSignature. | IN-OTHRL-100.xml |
PhysicalObjectIsDeliverableOfIndividual | PHO-isDeliverableOfIND | NEW - For Batch#12 approval | RELATIONSHIP-OTHER | A temporal part of an instance of PhysicalObject is related to a temporal part of an instance of PossibleIndividual, and that relationship is classified with an instance of ClassOfRelationshipWithSignature IS DELIVERABLE OF | IN-OTHRL-110.xml |
ParticipatingRelationshipBetweenIndividualAndClassOfIndividual | IND-hasParticipatingRelshipToCLS | MMT APPROVED - REVISED - For Batch#12 approval | RELATIONSHIP-OTHER | A temporal part of an instance of PhysicalObject is, in its Role, related to a class-of-temporal-part of an instance of ClassOfIndividual in its Role, and that relationship is classified with a given instance of ClassOfRelationshipWithSignature. | IN-OTHRL-200.xml |
ClassOfIndividualOriginatedByIndividual | CLS-isOriginatedByIND | NEW - For Batch#12 approval | RELATIONSHIP-OTHER | A class of temporal part of an instance of ClassOfIndividual is related to a temporal part of an instance of PhysicalObject, and that relationship is classified with the instance of ClassOfRelationshipWithSignature IS ORIGINATED BY. | IN-OTHRL-210.xml |
ReferenceRelationshipBetweenIndividualAndClassOfIndividual | IND-hasReferringRelshipToCLS | MMT APPROVED | RELATIONSHIP-OTHER | A temporal part of an instance of PossibleIndividual is related to a class-of-temporal part of an instance of ClassOfIndividual, and that relationship is classified with a given instance of ClassOfRelationshipWithSignature. | IN-OTHRL-300.xml |
EmploymentOfPerson | IND-personIsEmployedBy | MMT APPROVED | RELATIONSHIP-OTHER | A temporal part of an instance of Person, that is a member of a ClassOfPerson, is employed by a temporal part of an instance of PhysicalObject (which can be an Organization or another Person), and that employment relationship is classified with an instance of ClassOfRelationshipWithSignature. | IN-OTHRL-400.xml |
LiaisonRelationship | IND-isLiaisonOf | NEW - For Batch#12 Approval | RELATIONSHIP-OTHER | A temporal part of an instance of PhysicalObject, normally a Person or Organization, is the liaison of a temporal part of an instance of another PhysicalObject, using an OtherRelationship that is classified with an instance of ClassOfRelationshipWithSignature. | IN-OTHRL-450.xml |
ProductManufacturedBy | IND-isManufacturedBy | MMT APPROVED - REVISED - For Batch#12 Approval+ | RELATIONSHIP-OTHER | A temporal part of an instance of PhysicalObject is sold by a temporal part of an instance of PossibleIndividual, using an OtherRelationship that is classified with an instance of ClassOfRelationshipWithSignature. | IN-OTHRL-500.xml |
ProductSoldBy | IND-isSoldBy | MMT APPROVED - REVISED - For Batch#12 Approval | RELATIONSHIP-OTHER | An unidentified PhysicalObject, member of a ClassOfPhysicalObject, is sold by a temporal part of an instance of PossibleIndividual, using an OtherRelationshipthat classified with the instance of ClassOfRelationshipWithSignature IS SOLD BY. | IN-OTHRL-505.xml |
CounterpartRelationship | IND-implementsNonActualIND | NEW - For Batch#12 approval+ | RELATIONSHIP-OTHER | A PossibleIndividual existing in a PossibleWorld is a counterpart of a PossibleIndividual existing in another PossibleWorld. | IN-OTHRL-600.xml |
RealizationOfNonActualIndividual | IND-realizesNonActualIND | NEW - For Batch#12 approval+ | RELATIONSHIP-OTHER | A non-actual PossibleIndividual existing in a PossibleWorld realizes an actual PossibleIndividual existing in the real world. | IN-OTHRL-610.xml |
ShapeOfIndividualWithReferenceProperty | IND-hasShapeWithRefProperty | MMT APPROVED | SHAPE | Shape possessed by a temporal part of an instance of PossibleIndividual, using a reference Property for the ShapeDimension. | IN-SHAPE-100.xml |
ShapeOfIndividualWithDimension | IND-hasDimensionedShape | MMT APPROVED | SHAPE | Shape possessed by a PossibleIndividual with a given ShapeDimension, with value and scale. | IN-SHAPE-200.xml |
DefinitionOfShapeOfIndividual | IND-hasShapeRepresPart3Code | MMT APPROVED | SHAPE | A temporal part of an instance of PossibleIndividual has a Shape that is defined with Part 3 templates, has coordinates, and is in a given RepresentationForm. | IN-SHAPE-300.xml |
StreamHasSource | INDStreamHasAsSource | MMT APPROVED | STREAM | A temporal part of an instance of Stream has a temporal part of an instance of PhysicalObject as a source. | IN-STRM-100.xml |
StreamHasDestination | INDStreamHasAsDestination | MMT APPROVED | STREAM | A temporal part of an instance of Stream has a temporal part of an instance of PhysicalObject as a destination. | IN-STRM-200.xml |
PropertyOfStreamAtRelativeLocation | INDStreamHasPropertyAtLocation | MMT APPROVED | STREAM | A temporal part of an instance of Stream at a given location has a Property with value and scale. | IN-STRM-300.xml |
StreamCompliesWithProcessDesignStream | INDStreamCompliesWithDesignYesNo | MMT APPROVED - REVISED - For Batch#12 approval | STREAM | An Activity causes a Stream, and that Stream is or is not, depending on compliance with the related ClassOfStream in Process Design, classified with that ClassOfStream. | IN-STRM-400.xml |
CompositionOfAnIndividual | IND-hasAsCompositionPart | MMT APPROVED | STRUCTURE | A temporal part of an instance of PossibleIndividual is a 'part' in a composition with a temporal part of another instance of PossibleIndividual as the 'whole'. | IN-STRUC-060.xml |
IndirectPartakingOfNonActualObjectInActualComposition | IND-TagInActualComposition | For Approval | STRUCTURE | A temporal part of a NonActual PhysicalObject is implemented by an Actual PhysicalObject that is part of a given composed PhysicalObject. | IN-STRUC-080.xml |
ArrangementOfAnIndividual | IND-hasAsArrangementPart | MMT APPROVED - REVISED | STRUCTURE | A temporal part of an instance of PossibleIndividual is a 'part' in a classified (physical) arrangement with a temporal part of another instance of PossibleIndividual as the 'whole'. | IN-STRUC-120.xml |
AssemblyOfAnIndividual | IND-hasAsAssemblyPart | MMT APPROVED | STRUCTURE | A temporal part of an instance of PossibleIndividual is a 'part' in an assembly with a temporal part of another instance of PossibleIndividual as the 'whole'. | IN-STRUC-180.xml |
ClassifiedAssemblyOfIndividual | IND-hasAsClassifiedAssemblyPart | MMT APPROVED | STRUCTURE | A temporal part of an instance of PossibleIndividual is a 'part' in an assembly with a temporal part of another instance of PossibleIndividual as the 'whole', and that assembly is validated against an instance of ClassOfAssemblyOfIndividual. | IN-STRUC-240.xml |
PartInAssemblyApplicableYesNo | IND-hasAsAssemblyPartYesNo | MMT APPROVED - REVISED - For Batch#12 approval | STRUCTURE | A temporal part of a PossibleIndividual has not a temporal part of a particular PossibleIndividual that is a part in an assembly; the AssemblyOfIndividual relationship is classified with the fixed instance FALSE of ClassOfAssertion. | IN-STRUC-360.xml |
FeatureOfIndividual | IND-hasAsFeature | MMT APPROVED | STRUCTURE | A temporal part of an instance of PossibleIndividual has a temporal part of another instance of PossibleIndividual as its feature. | IN-STRUC-420.xml |
FeatureOfIndividualApplicableYesNo | IND-hasAsFeatureYesNo | MMT APPROVED | STRUCTURE | A temporal part of a PossibleIndividual has | has not a temporal part of a PossibleIndividual that is a feature of it; the FeatureWholePart relationship is classified with the instance FALSE or TRUE of ClassOfAssertion. | IN-STRUC-480.xml |
ClassifiedDirectConnectionOfTwoIndividuals | IND-isTypedDirectlyConnectedWith | MMT APPROVED | STRUCTURE | A temporal part of an instance of PossibleIndividual is directly connected to a temporal part of another instance of PossibleIndividual, and that connection is typed. The connection relationship is made explicit in the signature. | IN-STRUC-540.xml |
ClassifiedIndirectConnectionOfTwoIndividuals | IND-isTypedDirectlyConnectedWith | MMT APPROVED | STRUCTURE | A temporal part of an instance of PossibleIndividual is indirectly connected to a temporal part of another instance of PossibleIndividual, and that connection is typed. The connection relationship is made explicit in the signature. | IN-STRUC-600.xml |
IndividualUsedInADirectConnection | IND-isUsedForDirectConnection | MMT APPROVED | STRUCTURE | A temporal part of an instance of PossibleIndividual is used for a direct connection between temporal parts of two other instances of PossibleIndividual. | IN-STRUC-660.xml |
IndividualUsedInAnIndirectConnection | IND-isUsedForIndirectConnection | MMT APPROVED | STRUCTURE | A temporal part of an instance of PossibleIndividual is used for a indirect connection between temporal parts of two other instances of PossibleIndividuals. | IN-STRUC-720.xml |
AggregateOfMonotypeIndividual | IND-aggregateHasMemberCount | MMT APPROVED | STRUCTURE | A temporal part of an instance of PossibleIndividual is a counted aggregate of members of one ClassOfParticulateMaterial. | IN-STRUC-780.xml |