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)
Show deprecated templates
| template name | TIP Predicate | status | aspect | description | xml file |
|---|---|---|---|---|---|
| TEMPLATES FOR CLASSes - both design classes and RDL classes | |||||
| ClassOfParticipationDefinition | coParticipatesIn | UPDATED MAR2023 | ACTIVITY | Members of a ClassOfActivity have members of a ClassOfPhysicalObject as a participant in a given Role, with Cardinalities. | CL-ACTIV-100.xml |
| ClassOfDualParticipationDefinition | coDualParticipatesIn | UPDATED MAR2023 | ACTIVITY | Members of a ClassOfActivity have members of two ClassOfPhysicalObjects as participants, each in their given Role. | CL-ACTIV-150.xml |
| ClassOfParticipationApplicableYesNo | coParticipatesInYN | UPDATED MAR2023 | ACTIVITY | Members of a ClassOfPhysicalObject play or don't play a participating Role in members of a ClassOfActivity. | CL-ACTIV-200.xml |
| ClassOfParticipationAndInvolvementByReferenceDefinition | coParticipatesIn+isInvolvedIn | UPDATED MAR2023 | ACTIVITY | Members of a ClassOfActivity have members of a ClassOfPhysicalObject as a participant, and members of a Class involved by reference, each in their given Role | CL-ACTIV-250.xml |
| ClassOfInvolvementByReferenceDefinition | coIsInvolvedByReferenceIn | UPDATED MAR2023 | ACTIVITY | Members of a Class are involved by reference in members of a ClassOfActivity, with Cardinalities | CL-ACTIV-300.xml |
| ClassOfInvolvementByReferenceNotApplicable | coIsNotInvolvedByReferenceIn | UPDATED MAR2023 | ACTIVITY | Members of a Class are not involved by reference in members of a ClassOfActivity | CL-ACTIV-310.xml |
| ClassOfRecognitionDefinition | coIsRecognizedByActivity | UPDATED MAR2023 | ACTIVITY | Members of a Class are recognized by members of a ClassOfActivity, with Cardinalities | CL-ACTIV-500.xml |
| ClassOfCauseOfBeginningOfClassOfIndividualDefinition | coActivityCausesBeginningOf | UPDATED MAR2023 | ACTIVITY | Members of a ClassOfActivity begin the existence of members of a ClassOfIndividual, with Cardinalities | CL-ACTIV-600.xml |
| ClassOfCauseOfEndingOfClassOfIndividualDefinition | coActivityCausesEndingOf | UPDATED MAR2023 | ACTIVITY | Members of a ClassOfActivity end the existence of members of a ClassOfIndividual, with Cardinalities | CL-ACTIV-700.xml |
| ClassificationOfClassOfIndividual | coClassifiedWith | UPDATED MAR2023 | CLASSIFICATION | Members of a ClassOfIndividual are classified with a ClassOfClassOfIndividual. | CL-CLSIF-100.xml |
| ClassificationOfClassOfIndividualNotApplicable | coIsNotClassifiedWith | UPDATED MAR2023 | CLASSIFICATION | Members of a ClassOfIndividual are not classified with a ClassOfClassOfIndividual. | CL-CLSIF-200.xml |
| SpecializationOfClassOfIndividual | coIsSubclassOf | UPDATED MAR2023 | SPECIALIZATION | Members of a ClassOfIndividual are a specialization of members of another ClassOfIndividual. | CL-SPECN-100.xml |
| SpecializationOfClassOfIndividualNotApplicable | coIsNotSubclassOf | UPDATED MAR2023 | SPECIALIZATION | Members of a ClassOfIndividual are not a specialization of members of another ClassOfIndividual. | CL-SPECN-200.xml |
| DefinitionOfClassOfClass | cocoIsDefinedBy | UPDATED MAR2023 | DEFINITION | Definition of a ClassOfClass with an instance of ClassOfExpressInformationRepresenstation, that is in compliance with a classifying instance of ClassOfClassOfInformationRepresentation. | CL-DEFN-080.xml |
| DefinitionOfClassOfIndividual | coIsDefinedBy | UPDATED FEB2023 | DEFINITION | Definition of a ClassOfIndividual with an instance of ClassOfExpressInformationRepresenstation, that complies with the rules of a classifying instance of ClassOfClassOfInformationRepresentation. | CL-DEFN-160.xml |
| DefinitionOfClassOfIndividualWithInfoSet | coIsDefinedByInfoSet | UPDATED APR2023 | DEFINITION | A class-of-temporal-part of an instance of ClassOfIndividual is, by means of an instance of ClassOfDefinition, linked to a ClassOfExpressInformationRepresentation, that is classified with a ClassOfClassOfInformationRepresentation, and that is the result of an intersection of a set of Templates collected by an instance of EnumeratedSetOfClass. | CL-DEFN-200.xml |
| ClassifiedDefinitionOfClassOfRelationship | coRelationshipIsDefinedBy | UPDATED MAR2023 | DEFINITION | Definition of a ClassOfRelationship with an instance of ClassOfExpressInformationRepresenstation, that complies with the rules of a classifying instance of ClassOfClassOfInformationRepresenstation. | CL-DEFN-480.xml |
| DefinitionOfClassOfIndividualWithClassifiedSign | coIsDefinedBySign | UPDATED MAR2023 | DEFINITION | Definition of a ClassOfIndividual with a member of a ClassOfInformationObject that serves as a sign. | CL-DEFN-560.xml |
| DefinitionOfClassOfMultidimensionalObjectWith2Roles | coTwodimensionalObjectIsDefinedBy | UPDATED MAR2023 | DEFINITION | Defining a ClassOfMultidimensionalObject with two 'roles' by defining the related instances of RoleAndDomain. | CL-DEFN-640.xml |
| DefinitionOfRoleAndDomain | coRoleAndDomainIsDefinedBy | UPDATED MAR2023 | DEFINITION | A RoleAndDomain is defined by specializing it from an instance of Role and an instance of Class. | CL-DEFN-720.xml |
| DefinitionOfParticipatingRoleAndDomain | coParticipRoleAndDomainIsDefinedBy | UPDATED MAR2023 | 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 |
| DescriptionOfClassOfIndividual | coIsDescribedBy | UPDATED MAR2023 | DESCRIPTION | Members of a ClassOfIndividual are described with a ClassOfExpressInformationRepresentation that complies with a classifying instance of ClassOfClassOfInformationRepresentation | CL-DESCR-100.xml |
| DescriptionOfClassOfIndividualWithClassifiedSign | coIsDescribedBySign | UPDATED MAR2023 | DESCRIPTION | Description of a ClassOfIndividual with a member of a ClassOfInformationObject that serves as a sign. | CL-DESCR-400.xml |
| DocumentDefinitionByExample | coIsDefinedByExampleDocument | DEPRECATED 14MAR2023 | DOCUMENT | Definition of a Document by relating it to an example Document. | CL-DOCS-050.xml |
| DefinitiontOfDocumenByExample | coIsDefinedByExampleDocumentDefinition | NEW MAR2023 | DOCUMENT | Definition of a Document by declaring it an equivalent class with an example DocumentDefinition. | CL-DOCS-051.xml |
| ClassOfInformationObjectWithPresentationAndRepresentation | coDocumentIsSubclassOfPresAndRepres | UPDATED MAR2023 | DOCUMENT | A ClassOfInformationObject is a specialization of a ClassOfExpressInformationRepresentation, that is classified with an instance of ClassOfClassOfInformationRepresentation, and a specialization of a ClassOfInformationPresentation. Both are to be declared first separately. | CL-DOCS-100.xml |
| DefinitionOfDocumentByContentsType | coDocumentIsDefinedByContentsType | UPDATED MAR2023 | DOCUMENT | Defining the contents type of a ClassOfInformationObject by making it a specialization of a ClassOfInformationRepresentation, that is classified with a DocumentDefinition. | CL-DOCS-150.xml |
| DefinitionOfDocumentContentsLanguage | coDocumentHasContentsInLanguage | UPDATED MAR2023 | DOCUMENT | Defining that the contents of a ClassOfInformationObject are in a given language by making it a specialization of a ClassOfInformationRepresentation, that is classified with a Language | CL-DOCS-200.xml |
| DefinitionOfDocumentContentsFormat | coDocumentHasContentsInFormat | UPDATED MAR2023 | DOCUMENT | Defining that the contents of a ClassOfInformationObject are in a given format by making it a specialization of a ClassOfInformationRepresentation, that is classified with a RepresentationForm. | CL-DOCS-250.xml |
| ClassOfInformationObjectHasFormatBeforeClassOfEvent | coDocumentHasFormatBeforeEvent | UPDATED MAR2023 | DOCUMENT | The contents of members of a ClassOfInformationObject, before the occurrence members of a ClassOfEvent, are in a given format. | CL-DOCS-260.xml |
| ClassOfInformationObjectHasFormatAfterClassOfEvent | coDocumentHasFormatAfterEvent | UPDATED MAR2023 | DOCUMENT | The contents of members of a ClassOfInformationObject, after the occurrence members of a ClassOfEvent, are in a given format. | CL-DOCS-265.xml |
| ContentsOfADocument | coDocumentContentsDefinedByInfoRep | UPDATED MAR2023 | DOCUMENT | The contents of a document ClassOfInformationObject are defined by specializing it from an instance of ClassOfExpressInformationRepresentation, that complies with a classifying instance of ClassOfClassOfInformationRepresentation. | CL-DOCS-350.xml |
| DocumentTypeApplicableForClassOfIndividualYesNo | coDocumentApplicableForClassYN | UPDATED MAR2023 | DOCUMENT | A given document type is or is not applicable for members of a ClassOfIndividual. | CL-DOCS-450.xml |
| ReferenceToClassOfIndividualOnDocument | coIsReferredToOnDocument | UPDATED MAR2023 | DOCUMENT | A ClassOfIndividual is referred to on a document, just for cross-reference. | CL-DOCS-500.xml |
| RepresentationOfClassOfIndividualOnDocument | coIsRepresentedOnDocument | UPDATED MAR2023 | DOCUMENT | A ClassOfIndividual is represented with an instance of ClassOfExpressInformationRepresenstation, that complies with the rules of a classifying instance of ClassOfClassOfInformationRepresentation, where that information is represented on a document. | CL-DOCS-525.xml |
| DefinitionOfDocumentContentWithSetOfClass | coDocumentIsDefinedByTemplateSet | UPDATED MAY2023 | DOCUMENT | Defining the contents type of a ClassOfInformationObject with a ClassOfInformationRepresentation, where the latter is the intersection of the information contents of a set of templates, that are members of a collecting instance of EnumeratedSetOfClass. | CL-DOCS-800.xml |
| TranslationOfClassOfInformationRepresentation | coInfoRepresentationIsTranslatedTo | UPDATED MAR2023 | DOCUMENT | Translation into another language of an instance of ClassOfInformationRepresentation. | CL-DOCS-850.xml |
| TranslationOfClassOfInformationObjectRequiredYesNo | coDocumentShallBeTranslatedYN | UPDATED MAR2023 | DOCUMENT | Translation into another of language of an instance of ClassOfInformationObject is required YesNo. | CL-DOCS-860.xml |
| HardcopyOfDocumentRequiredYesNo | coDocumentHardcopyRequiredYN | UPDATED MAR2023 | DOCUMENT | A ClassOfInformationObject shall be represented on a ClassOfInanimatePhysicalObject as information carrier Yes or No. | CL-DOCS-900.xml |
| ClassOfTemporalWholePartDefinition | coIsTemporalPartOf | UPDATED MAR2023 | EXISTENCE | A class-of-temporal-part of a ClassOfIndividual is created (both had been declared before). | CL-EXIST-100.xml |
| ActivityCausesEffectiveClassOfIndividual | coEffectivityCausedByActivity | UPDATED MAR2023 | EXISTENCE | An Activity involves-by reference a ClassOfIndividual in the the Role of "EFFECTIVE", starting at the dateTime at which that Activity has ended. | CL-EXIST-300.xml |
| ActivityCausesDeprecatedClassOfIndividual | coDeprecationCausedByActivity | UPDATED MAR2023 | EXISTENCE | An Activity involves-by reference a ClassOfIndividual in the the Role of "DEPRECATED", starting at the dateTime at which that Activity has ended. | CL-EXIST-500.xml |
| FunctionalMappingOf2ExpressReals | equationWithTwoRealsInputs | UPDATED MAR2023 | FUNCTION | Equation with two instances of ExpressReal as inputs and one instance of ExpressReal as result. | CL-FUNC-100.xml |
| FunctionalMappingOf3ExpressReals | equationWithThreeRealsInputs | UPDATED MAR2023 | FUNCTION | Equation with three instances of ExpressReal as inputs and one ExpressReal as result. | CL-FUNC-200.xml |
| FunctionalMappingOf4ExpressReals | equationWithFourRealsInputs | UPDATED MAR2023 | FUNCTION | Equation with four instances of ExpressReal as inputs and one instance of ExpressReal as result. | CL-FUNC-300.xml |
| FunctionalMappingOf5ExpressReals | equationWithFiveRealsInputs | UPDATED MAR2023 | FUNCTION | Equation with five instances of ExpressReal as inputs and one instance of ExpressReal as result. | CL-FUNC-400.xml |
| IdentificationOfClassOfIndividual | coIsIdentifiedBy | UPDATED MAR2023 | IDENTIFICATION | A ClassOfIndividual is identified with an instance of ClassOfExpressInformationRepresentation, that complies with a classifying ClassOfClassOfInformationRepresentation. | CL-IDENT-100.xml |
| ClassOfContainmentDefinition | coContains | UPDATED MAR2023 | LOCATION | Members of a ClassOfIndividual shall or can be inside members of another ClassOfIndividual. | CL-LOCTN-100.xml |
| ClassOfRelativeLocationDefinition | coIsLocatedRelativeTo | UPDATED MAR2023 | LOCATION | Members of a ClassOfIndividual shall or can be located in a relative position as compared with members of another ClassOfIndividual. | CL-LOCTN-200.xml |
| SpecializationByCompoundType | coIsOfMaterialType | UPDATED MAR2023 | MATERIAL | Members of a ClassOfIndividual are a subclass of a ClassOfCompound. | CL-MATL-100.xml |
| SpecializationByCrystallineStructureType | coCompoundHasCrystalStructure | UPDATED MAR2023 | MATERIAL | Members of a ClassOfIndividual are a subclass of a ClassOfCrystallineStructure. | CL-MATL-200.xml |
| SpecializationByBiologicalMatterType | coIsOfBioMatterType | UPDATED MAR2023 | MATERIAL | Members of a ClassOfIndividual are a subclass of a ClassOfBiologicalMatter. | CL-MATL-300.xml |
| SpecializationByCompositeMaterialType | coIsOfCompositeMaterial | UPDATED MAR2023 | MATERIAL | Members of a ClassOfIndividual are a subclass of a ClassOfCompositeMaterial. | CL-MATL-400.xml |
| SpecializationByParticulateMaterialType | coIsOfParticulateMaterial | UPDATED MAR2023 | MATERIAL | Members of a ClassOfIndividual are a subclass of a ClassOfParticulateMaterial | CL-MATL-500.xml |
| SpecializationByPhase | coHasThermodynamicPhase | UPDATED MAR2023 | MATERIAL | Members of a ClassOfIndividual are a subclass of a thermodynamic Phase. | CL-MATL-600.xml |
| TwoDimensionalNumberDefinition | coDefinitionOf2dNumber | UPDATED MAR2023 | NUMBER | A two-dimensional number is fixed classified with rdl:RDS2229339 and has two roles that are instances of ArithmeticNumber, with a ClassOfExpressInformationRepresentation. | CL-NUMB-100.xml |
| ThreeDimensionalNumberDefinition | coDefinitioOf3dNumber | UPDATED MAR2023 | NUMBER | A three-dimensional number is fixed classified with rdl:RDS2229340 and has three roles that are instances of ArithmeticNumber, with a ClassOfExpressInformationRepresentation. | CL-NUMB-200.xml |
| NumberRangeDefinition | coNumberRangeDefinition | UPDATED MAR2023 | NUMBER | A NumberRange with given lower and upper bounding ArithmeticNumbers with values. | CL-NUMB-300.xml |
| NumberSpaceWithBoundingNumberSpace | coIsBoundedByNumberSpace | UPDATED MAR2023 | NUMBER | A NumberSpace with a bounding NumberSpace, where both must have been declared. | CL-NUMB-400.xml |
| ClassOfIndividualHasIndirectPropertyRange | coHasIndirectPropertyRange | UPDATED MAR2023 | PROPERTY-INDIRECT | A ClassOfIndividual has an IndirectProperty range with bounding values and scale. | CL-INDPTY-200.xml |
| ClassOfIndividualHasTwoDimensionalIndirectPropertyRange | coHas2dIndirectPropertyRange | UPDATED MAR2023 | PROPERTY-INDIRECT | ClassOfIndividual has a two-dimensional indirect property range, with bounding values on scales. | CL-INDPTY-210.xml |
| ClassOfIndividualHasIndirectPropertyWithMaximumValue | coHasIndirectPropertyMaxValue | UPDATED MAR2023 | PROPERTY-INDIRECT | Members of a ClassOfIndividual have a ClassOfIndirectProperty with a given maximum value and scale. | CL-INDPTY-300.xml |
| ClassOfIndividualHasIndirectPropertyWithValue | coHasIndirectPropertyValue | UPDATED MAR2023 | PROPERTY-INDIRECT | Members of a ClassOfIndividual have a ClassOfIndirectProperty with a given point value and scale. | CL-INDPTY-400.xml |
| ClassOfIndividualHasIndirectPropertyWithMinimumValue | coHasIndirectPropertyMinValue | UPDATED MAR2023 | PROPERTY-INDIRECT | Members of a ClassOfIndividual have a ClassOfIndirectProperty with a given minimum value and scale. | CL-INDPTY-500.xml |
| ClassOfIndividualHasConditionalIndirectPropertyWithValue | coHasConditionalIndirPropertyValue | UPDATED MAR2023 | PROPERTY-INDIRECT | Members of a ClassOfIndividual have a ClassOfIndirectProperty with a given point value and scale, under the condition of another Property, possessed by the same or another ClassOfIndividual. | CL-INDPTY-700.xml |
| ClassOfIndividualHasConditionalIndirectPropertyWithMaximumValue | coHasConditionalIndirPropertyValue | NEW JUNE2023 | PROPERTY-INDIRECT | Members of a ClassOfIndividual have a ClassOfIndirectProperty with a given maximum value and scale, under the condition of another Property, possessed by the same ClassOfIndividual with a point value and scale. | CL-INDPTY-710.xml |
| ClassOfIndividualHasStatus | coHasStatus | UPDATED MAR2023 | PROPERTY and STATUS | Members of a ClassOfIndividual have a Status. | CL-PTYST-160.xml |
| ClassOfIndividualHasStatusBeforeClassOfEvent | coHasStatusBeforeEvent | UPDATED MAR2023 | PROPERTY and STATUS | Members of a ClassOfIndividual have a Status, and that happens/shall happen before an Event occurs. | CL-PTYST-170.xml |
| ClassOfIndividualHasPropertyWithValueAndStatus | coHasPropertyWithValueAndStatus | UPDATED MAR2023 | PROPERTY and STATUS | Members of a ClassOfIndividual have a Property with a given point value and scale, and that information has a Status. | CL-PTYST-200.xml |
| ClassOfIndividualHasPropertyWithValue | coHasPropertyWithValue | UPDATED MAR2023 | PROPERTY and STATUS | Members of a ClassOfIndividual have a Property with a given point value and scale. | CL-PTYST-240.xml |
| ClassOfIndividualHasMonetaryValue | coHasMonetaryValue | UPDATED MAR2023 | PROPERTY and STATUS | Members of a ClassOfIndividual have a monetary property, with a given value and currency (Scale). | CL-PTYST-260.xml |
| ClassOfIndividualHasPropertyWithVariance | coHasPropertyWithVariance | UPDATED MAR2023 | PROPERTY and STATUS | Members of a ClassOfIndividual have a Property with a plus and minus variance. | CL-PTYST-400.xml |
| ClassOfIndividualHasPropertyWithPercentageVariance | coHasPropertyWithPercentVariance | UPDATED MAR2023 | 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 | coHasConditionalPropertyWithValue | UPDATED MAR2023 | PROPERTY and STATUS | Members of a ClassOfIndividual have a Property with a given point value and scale, under the condition of another Property, possessed by the same or another ClassOfIndividual. | CL-PTYST-560.xml |
| ClassOfIndividualHasTwoDimensionalPropertyWithValues | coHas2dPropertyWithValues | UPDATED MAR2023 | PROPERTY and STATUS | Members of a ClassOfIndividual have a two-dimensional Property with a given point values and scales. | CL-PTYST-640.xml |
| ClassOfIndividualHasPropertyRatio | coHasPropertyRatio | UPDATED MAR2023 | 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 |
| PropertyRangeDefinition | coPropertyRangeIsDefinedBy | UPDATED MAR2023 | PROPERTY and STATUS | A PropertyRange is defined with property type, bounding values on a scale. | CL-PTYST-740.xml |
| ClassOfIndividualHasPropertyRangeWithValues | coHasPropertyRangeWithValues | UPDATED MAR2023 | PROPERTY and STATUS | A ClassOfIndividual has a PropertyRange with bounding values and scale. | CL-PTYST-760.xml |
| PropertyDefinition | coPropertyIsDefinedBy | UPDATED MAR2023 | PROPERTY and STATUS | A Property is defined with a given property type, value, and scale. | CL-PTYST-800.xml |
| ClassOfOtherRelationshipWithDualParticipation | coOtherRelationWithDualParticipation | UPDATED MAR2023 | RELATIONSHIP-OTHER | A ClassOfRelationshipWithSignature is defined, with at boths ends a ClassOfIndividual, participating in the same ClassOfActivity, each end with its Role and Cardinality. | CL-OTHRL-250.xml |
| ClassOfOtherRelationshipWithParticipationAndInvolvementByReference | coOtherRelWithParticipAndInvolvement | UPDATED MAR2023 | RELATIONSHIP-OTHER | A ClassOfRelationshipWithSignature is defined, with at one end a ClassOfIndividual participating in, and at the other end another ClassOfIndividual involved-by-reference in, a ClassOfActivity, and each end with its Role and Cardinality. | CL-OTHRL-500.xml |
| DifferenceOf2Classes | coDifferenceOf2Classes | UPDATED MAR2023 | SET OPERATIONS | The difference of two Classes results in a Class whose members were also member of one of both Classes. | CL-SETOP-080.xml |
| EquivalentClasses | co2EquivalentClasses | UPDATED MAR2023 | SET OPERATIONS | Two Classes are equivalent when their difference is an Empty Class. | CL-SETOP-120.xml |
| DisjointnessOf2Classes | co2DisjointClasses | UPDATED MAR2023 | SET OPERATIONS | Two Classes are disjoint in case their intersection results in an empty class, they have no members in common. | CL-SETOP-160.xml |
| IntersectionOf2Classes | co2IntersectedClasses | UPDATED MAR2023 | SET OPERATIONS | The intersection of two Classes results in a Class whose members were also member of both intersected Classes. | CL-SETOP-400.xml |
| RelativeComplementOf2Classes | co2RelativeComplementClasses | UPDATED MAR2023 | SET OPERATIONS | The relative complement of two Classes with [P, Q] and [Q, R] as members, is a Class with R as member. | CL-SETOP-480.xml |
| UnionOf2Classes | co2UnionizedClasses | UPDATED MAR2023 | SET OPERATIONS | The union of two Classes is a Class with a membership that is the combination of both memberships, with no duplications. | CL-SETOP-560.xml |
| EnumerationOfClass | coIsMemberOfEnumSetOfClass | UPDATED MAR2023 | SET OPERATIONS | An enumeration of Classes is a set of Classes, that is collected by making them members of an instance of EnumeratedSetOfClass. | CL-SETOP-640.xml |
| IntersectionOfEnumeratedSetOfClass | coIsIntersectionOfEnumSetOfClassMembers | UPDATED MAY2023 | SET OPERATIONS | The set of Classes that are member of an EnumeratedSetOfClass are intersected into a result Class. | CL-SETOP-880.xml |
| ClassOfShapeDimensionPropertySpace | coShapeDimensionWithPropertySpace | UPDATED MAR2023 | SHAPE | Members of a ClassOfShape possess a member of ClassOfShapeDimension, defined by using an earlier declared PropertySpace. That PropertySpace can be a SinglePropertyDimension, a PropertyRange, or a MultidimensionalPropertySpace. | CL-SHAPE-200.xml |
| ShapeDimensionOfClassOfShapeWithReferenceProperty | coShapeHasDimensionWithRefProperty | UPDATED MAR2023 | SHAPE | Members of a ClassOfIndividual possess a Shape of a given type, where that Shape has a ShapeDimension defined with an earlier defined Property. | CL-SHAPE-300.xml |
| DefinitionOfShapeRepresentation | coShapeIsRepresentedBy | UPDATED MAR2023 | SHAPE | Members of a Shape are definded with a ClassOfExpressInformationRepresentation, , that is classified with a ClassOfClassOfInformationRepresentation, that defines the rules, language and/or format. | CL-SHAPE-400.xml |
| ClassOfIndividualHasDimensionedShapeWithValue | coHasDimensionedShape | UPDATED MAR2023 | SHAPE | Members of a ClassOfIndividual possess a Shape of a given type, where that Shape has a ShapeDimension of a given type, and that ShapeDimension has a Property, and that Property is quantified with an ExpressReal on a Scale. | CL-SHAPE-500.xml |
| ClassOfCompositionDefinition | coHasAsCompositionPart | UPDATED MAR2023 | STRUCTURE | Members of a ClassOfIndividual have members of another ClassOfIndividual as a part of a composition, with Cardinalities; the defined ClassOfCompositionOfIndividual can be used for the classification of instances of CompositionOfIndividual at Individual level. | CL-STRUC-060.xml |
| ClassOfCompositionPartPercentage | coHasCompositionPartPercentage | UPDATED MAR2023 | STRUCTURE | Members of a ClassOfIndividual (usually ClassOfCompound) have members of another ClassOfIndividual as part in a composition, where that part is expressed in a percentage of the whole. | CL-STRUC-080.xml |
| ClassOfCompositionPartPercentageByRange | coHasCompositionPartPercentageRange | UPDATED MAR2023 | STRUCTURE | Members of a ClassOfIndividual (usually ClassOfCompound) have members of another ClassOfIndividual as part in a composition, where that part is expressed in a percentage range of the whole. | CL-STRUC-081.xml |
| ClassOfArrangementDefinition | coHasAsArrangementPart | UPDATED MAR2023 | STRUCTURE | Members of a ClassOfIndividual have members of another ClassOfIndividual as a part of an arrangement; the defined ClassOfArrangementOfIndividual can be used for the classification of instances of ArrangementOfIndividual at Individual level. | CL-STRUC-120.xml |
| ClassOfAssemblyDefinition | coHasAsAssemblyPart | UPDATED MAR2023 | STRUCTURE | Members of a ClassOfIndividual have members of another ClassOfIndividual as a part of an assembly; the defined ClassOfAssemblyOfIndividual can be used for the classification of instances of AssemblyOfIndividual at Individual level. | CL-STRUC-180.xml |
| PartInClassOfAssemblyApplicableYesNo | coHasAsAssemblyPartYN | UPDATED MAR2023 | STRUCTURE | Members of a ClassOfIndividual have or have not members of another ClassOfIndividual as a part of an assembly. | CL-STRUC-240.xml |
| ClassOfFeatureWholePartDefinition | coHasAsFeaturePart | UPDATED MAR2023 | STRUCTURE | Members of a ClassOfIndividual have members of another ClassOfIndividual as a part of a FeatureWholePart relationship; the defined ClassOfFeatureWholePart can be used for the classification of instances of FeatureWholePart at Individual level. | CL-STRUC-300.xml |
| ClassOfDirectConnectionDefinition | coDirectlyConnectedWith | UPDATED MAR2023 | STRUCTURE | Members of a ClassOfIndividual are directly connected, in a given way, with members another ClassOfIndividual. the defined ClassOfDirectConnection can be used for the classification of instances of DirectConnection at Individual level. | CL-STRUC-480.xml |
| ClassOfIndirectConnectionDefinition | coIndirectlyConnectedWith | UPDATED MAR2023 | STRUCTURE | Members of a ClassOfIndividual are indirectly connected, in a given way, with members another ClassOfIndividual. the defined ClassOfIndirectConnection can be used for the classification of instances of IndirectConnection at Individual level. | CL-STRUC-600.xml |
| ClassOfIndividualUsedInDirectConnectionDefinition | coIsUsedForDirectConnection | UPDATED MAR2023 | STRUCTURE | Members of a ClassOfIndividual are used for the direct connection as represented by a given instance of ClassOfDirectConnection. | CL-STRUC-660.xml |
| ClassOfIndividualUsedInIndirectConnectionDefinition | coIsUsedForIndirectConnection | UPDATED MAR2023 | STRUCTURE | Members of a ClassOfIndividual are used for the indirect connection as represented by a given instance of ClassOfIndirectConnection. | CL-STRUC-720.xml |
| NumberOfMembersOfClassOfIndividual | coHasNumberOfMembers | UPDATED MAR2023 | STRUCTURE | A ClassOfIndividual has a counted aggregate of members of another 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 | |||||
| BegunParticipationOfPhysicalObjectInActivity | hasBegunParticipationInActivity | UPDATED MAR2023 | ACTIVITY | A PhysicalObject has begun to participate, in a given Role, in an Activity, on a given dateTime. | IN-ACTIV-040.xml |
| EndedParticipationOfPhysicalObjectInActivity | hasEndedParticipationInActivity | UPDATED MAR2023 | ACTIVITY | A PhysicalObject has ended to participate, in a given Role, in an Activity, on a given dateTime. | IN-ACTIV-041.xml |
| BegunParticipationOfClassInActivity | classMemberHasBegunParticipationInActivity | UPDATED MAR2023 | ACTIVITY | An unidentified instance of ClassOfPhysicalObject has begun to participate, in a given Role, in an Activity,on a given dateTime. | IN-ACTIV-042.xml |
| EndedParticipationOfClassInActivity | classMemberHasEndedParticipationInActivity | UPDATED MAR2023 | ACTIVITY | An unidentified instance of ClassOfPhysicalObject has ended to participate, in a given Role, in an Activity,on a given dateTime. | IN-ACTIV-043.xml |
| ParticipationOfClassInActivityYesNo | classMemberParticipatesInActivityYN | UPDATED MAR2023 | ACTIVITY | An unidentified member of a ClassOfPhysicalObject does or does not participate, in a given Role, in an Activity. | IN-ACTIV-044.xml |
| BegunParticipationOfPhysicalObjectInActivityType | hasBegunParticipationInActivityType | UPDATED MAR2023 | ACTIVITY | A PhysicalObject has begun participation, in a given Role, in an unidentified member of a given ClassOfActivity, on a given dateTime. | IN-ACTIV-050.xml |
| EndedParticipationOfPhysicalObjectInActivityType | hasEndedParticipationInActivityType | UPDATED MAR2023 | ACTIVITY | A PhysicalObject has ended participation, in a given Role, in an unidentified member of a given ClassOfActivity, on a given dateTime. | IN-ACTIV-051.xml |
| ParticipationOfPhysicalObjectInActivityTypeYesNo | participatesInActivityTypeYN | UPDATED MAR2023 | ACTIVITY | A PhysicalObject does or does not participate, in a given Role, in an unidentified member of a ClassOfActivity. | IN-ACTIV-052.xml |
| EndingOfParticipationOf2PhysicalObjectsInSameActivity | endedDualParticipationInSameActivity | UPDATED MAR2023 | ACTIVITY | Ending of a Participation of two PhysicalObjects in one Activity, each in their Role. | IN-ACTIV-060.xml |
| InvolvementByReferenceOfIndividualInActivity | isInvolvedByReferenceInActivity | UPDATED MAR2023 | ACTIVITY | A PossibleIndividual is involved-by-reference in an Activity, where the type of involvement is defined by an instance of ClassOfInvolvementByReference. | IN-ACTIV-080.xml |
| InvolvementByReferenceOfClassInActivity | classIsInvolvedByReferenceInActivity | UPDATED MAR2023 | ACTIVITY | Members of a Class are involved-by-reference in an Activity, where the role in that involvement is defined by an instance of Role. | IN-ACTIV-100.xml |
| InvolvementByReferenceOfClassInActivityYesNo | classIsInvolvedByReferenceInActivityYN | UPDATED MAR2023 | ACTIVITY | Members of a Class are or are not involved-by-reference in an Activity, where the role in that involvement is defined by an instance of Role. | IN-ACTIV-101.xml |
| RecognitionOfInformation | informationIsExposedByActivity | UPDATED MAR2023 | ACTIVITY | An Activity recognizes information, expressed with a Template, where the type of recognition is defined with an instance of ClassOfRecognition. | IN-ACTIV-160.xml |
| ActivityCausesBegunIndividual | causesBeginningOfIndividual | UPDATED MAR2023 | ACTIVITY | An Activity causes an Event that, in turn, marks the beginning of a PossibleIndividual. | IN-ACTIV-240.xml |
| ActivityCausesEndedIndividual | causesEndingOfIndividual | UPDATED MAR2023 | ACTIVITY | An Activity causes an Event that, in turn, marks the ending of a PossibleIndividual. | IN-ACTIV-280.xml |
| MeasuringAPropertyOfAnIndividual | measuresPropertyOfIndividual | UPDATED MAR2023 | ACTIVITY | An Actitiviy exposes the fact that a PossibleIndividual is classified with a Property, with value and scale. | IN-ACTIV-400.xml |
| MeasuringPropertyTimeSeriesOfIndividual | measuresPropertyTimeSeriesOfIndividual | UPDATED MAR2023 | ACTIVITY | The values of a Property, possessed by a PossibleIndividual, are being measured between two given date-times, where these values are being represented as a time series. | IN-ACTIV-440.xml |
| ApprovalWithStatusOfRelationshipInTemplate | approvesRelationshipInsideTemplate | UPDATED MAR2023 | ACTIVITY | A PossibleIndividual approves a Relationship, as represented by a Template, where that approval is classified with a ClassOfApprovalByStatus. | IN-ACTIV-480.xml |
| InstallingPhysicalObjectInFunctionalLocation | instalsActualObjectInFunctionalLocation | UPDATED MAR2023 | ACTIVITY | A (construction) Activity causes the beginning of an Actual Physical Object, that is a Counterpart of a NonActual (designed) PhysicalObject, meaning that the Actual Physical Object has been installed to implement the Functional Location for which the requirements were defined by the NonActual PhysicalObject. | IN-ACTIV-520.xml |
| UninstallingPhysicalObjectInFunctionPlace | uninstalsActualObjectFromFunctionalLocation | UPDATED MAR2023 | ACTIVITY | A (uninstalling) Activity causes the end of a temporal part of an Actual Physical Object, that used to be a Counterpart of a NonActual (designed) PhysicalObject, meaning that the temporal part of the Actual Physical Object has been uninstalled and no longer implements the Functional Location for which the requirements were defined by the NonActual PhysicalObject. | IN-ACTIV-560.xml |
| ClassificationOfIndividual | isClassifiedAs | UPDATED MAR2023 | CLASSIFICATION | A PossibleIndividual fulfils the criteria for membership of a ClassOfIndividual. | IN-CLSIF-100.xml |
| NonComplianceWithClassOfIndividual | doesNotComplyWith | UPDATED MAR2023 | CLASSIFICATION | A PossibleIndividual does not fulfil the criteria for membership of a ClassOfIndividual. | IN-CLSIF-200.xml |
| DescriptionOfIndividual | isDescribedAs | UPDATED MAR2023 | DESCRIPTION | A PossibleIndividual is described with a ClassOfExpressInformationRepresentation that complies with a classifying instance of ClassOfClassOfInformationRepresentation. | IN-DESCR-100.xml |
| DescriptionOfIndividualWithClassifiedSign | isDescribedWithSign | UPDATED MAR2023 | DESCRIPTION | 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 |
| DocumentInitiation | isInitiationActivityOfDocument | UPDATED MAR2023 | DOCUMENT | Initiating a document, where the master record of that document is being initiated, with an initiation date-time. | IN-DOCS-080.xml |
| DocumentCreation | isCreationActivityOfDocument | UPDATED MAR2023 | DOCUMENT | Creating a document, where the master record of that document is being created, with a creation date-time. | IN-DOCS-160.xml |
| DocumentReview | isReviewingActivityOfDocument | UPDATED MAR2023 | 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 | isApprovalActivityOfDocument | UPDATED MAR2023 | 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 | isPublishingActivityOfDocument | UPDATED MAR2023 | 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 | isPlannedPublishingActivityOfDocument | UPDATED MAR2023 | DOCUMENT | Planned publishing a document, where 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 |
| DocumentReceipt | isReceivingActivityOfDocument | UPDATED MAR2023 | DOCUMENT | Receiving a document, where a member of that document class is being received, with a receival dateTime. | IN-DOCS-330.xml |
| DocumentPublishingWithResponsibleParty | isPublishingOfDocumentWithResponsibleParty | UPDATED MAR2023 | 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, the responsible Party, and a publication date-time. | IN-DOCS-400.xml |
| DocumentRevision | isRevisingActivityOfDocument | UPDATED MAR2023 | DOCUMENT | Revising a document, where the master record of that document is being revised, with a revision date-time. | IN-DOCS-480.xml |
| ReferenceToIndividualOnDocument | isReferredToOnDocument | UPDATED MAR2023 | DOCUMENT | A PossibleIndividual is represented on a document, no further details | IN-DOCS-640.xml |
| RepresentationOfIndividual | isRepresentedBy | UPDATED MAR2023 | DOCUMENT | Representation of a PossibleIndividual, where the representing ClassOfExpressInformationRepresentation is classified with a ClassOfClassOfInformationRepresentation, defining the representation rules. | IN-DOCS-680.xml |
| RepresentationOfIndividualOnDocument | isRepresentedByOnDocument | UPDATED MAR2023 | DOCUMENT | Information about a PossibleIndividual is represented on a document by an instance of ClassOfExpressInformationRepresentation that is compliant with its classifying ClassOfClassOfInformationRepresentation, defining the representation rules. | IN-DOCS-720.xml |
| RepresentationOfIndividualOnDocumentWithTemplateSet | isRepresentedOnDocumentByTemplateSet | UPDATED MAY2023 | DOCUMENT | Information about a PossibleIndividual is represented on a document by an instance of ClassOfInformationRepresentation that is an intersection of information contents of template instances, collected in an instance of EnumeratedSetOfClass | IN-DOCS-800.xml |
| IndividualHasTemporalPart | hasAsTemporalPart INVERSE isTemporalPartOf | UPDATED MAR2023 | EXISTENCE | A temporal part of a PossibleIndividual is related to its temporal whole. Both shall be declared earlier. | IN-EXIST-100.xml |
| BeginningOfIndividualAtEvent | hasBeginningAtEvent | UPDATED MAR2023 | EXISTENCE | A PossibleIndividual begins its existence at an Event. | IN-EXIST-200.xml |
| EndingOfIndividualAtEvent | hasEndingAtEvent | UPDATED MAR2023 | EXISTENCE | A PossibleIndividual ends its existence at an Event. | IN-EXIST-400.xml |
| SkillOfAPerson | hasSkill | UPDATED MAR2023 | FUNCTION | A Person has a skill, defined by means of an externally defined ClassOfRelationshipWithSignature. | IN-FUNC-100.xml |
| IdentificationOfIndividual | isIdentifiedBy | UPDATED MAR2023 | IDENTIFICATION | A PossibleIndividual is identified with an instance of ClassofExpressInformaationRepresentation that is compliant with its classifying ClassOfClassOfInformationRepresentation, defining the representation rules. | IN-IDENT-100.xml |
| LabelChangeOfIndividual | hasLabelChanged | UPDATED MAR2023 | IDENTIFICATION | The label of a PossibleIndividual has been changed to another string value. | IN-IDENT-150.xml |
| IdentificationOfIndividualWithClassifiedSign | isIdentifiedWithSign | UPDATED MAR2023 | IDENTIFICATION | A PossibleIndividual is identified with an InformationObject that serves as a sign, and is a member of a given sign type (ClassOfInformationObject). | IN-IDENT-200.xml |
| ContainmentOfAnIndividual | contains INVERSE isContainedBy | UPDATED MAR2023 | LOCATION | A PossibleIndividual is contained inside another PossibleIndividual. | IN-LOCTN-100.xml |
| RelativeLocationOfIndividual | isLocatedRelativeTo | UPDATED MAR2023 | LOCATION | A PossibleIndividual is located in a relative position as compared with another PossibleIndividual. | IN-LOCTN-200.xml |
| RelativeLocationOfIndividualWithDistance | isLocatedRelativeToWithDistance | UPDATED MAR2023 | LOCATION | A PossibleIndividual is located in a relative position, with a distance, as compared with another PossibleIndividual. | IN-LOCTN-250.xml |
| PositionOfIndividualIn2DCoordinateSystem | isLocatedIn2dCoordinates | UPDATED MAR2023 | LOCATION | The location of a PossibleIndividual is expressed in coordinates of a given two-dimensional coordinate system. | IN-LOCTN-300.xml |
| PositionOfIndividualIn3DCoordinateSystem | isLocatedIn3dCoordinates | UPDATED MAR2023 | LOCATION | The location of a PossibleIndividual is expressed in coordinates of a given three-dimensional coordinate system. | IN-LOCTN-400.xml |
| ClassificationOfIndividualWithClassOfMatter | isOfMatterType | UPDATED MAR2023 | MATERIAL | A PossibleIndividual is a member of a ClassOfMatter. | IN-MATL-100.xml |
| ClassificationOfIndividualWithPhase | hasThermodynamicPhase | UPDATED MAR2023 | MATERIAL | A PossibleIndividual is a member of a thermodynamic Phase. | IN-MATL-500.xml |
| IndividualHasIndirectPropertyRange | hasIndirectPropertyRange | UPDATED MAR2023 | PROPERTY-INDIRECT | A PossibleIndividual has an IndirectProperty range with bounding values and scale. | IN-INDPTY-100.xml |
| IndividualHasIndirectPropertyWithValue | hasIndirectPropertyWithValue | UPDATED MAR2023 | PROPERTY-INDIRECT | A PossibleIndividual has an IndirectProperty with a point value and scale. | IN-INDPTY-200.xml |
| IndividualHasIndirectPropertyWithMaximumValueInPeriodInTime | hasIndirectPropertyWithMaximumValueInPeriodInTme | UPDATED MAR2023 | PROPERTY-INDIRECT | A PossibleIndividual has an IndirectProperty with a maximum value and scale, where that maximum value has occurred during a Period In Time. | IN-INDPTY-300.xml |
| IndividualHasIndirectPropertyWithAverageValueInPeriodInTime | hasIndirectPropertyWithAverageValueInPeriodInTme | UPDATED MAR2023 | PROPERTY-INDIRECT | A PossibleIndividual has an IndirectProperty with an average value and scale, where that average value has been calculated over a Period In Time. | IN-INDPTY-500.xml |
| IndividualHasIndirectPropertyWithMinimumValueInPeriodInTime | hasIndirectPropertyWithMinimumValueInPeriodInTme | UPDATED MAR2023 | PROPERTY-INDIRECT | A PossibleIndividual has an IndirectProperty with a minimum value and scale, where that minimum value has occurred during a Period In Time. | IN-INDPTY-700.xml |
| IndividualHasPropertyWithValue | hasPropertyWithValue | UPDATED MAR2023 | PROPERTY and STATUS | A PossibleIndividual possesses a directly measurable Property with a value and scale. | IN-PTYST-100.xml |
| IndividualHasMonetaryValue | hasMonetaryValue | UPDATED MAR2023 | PROPERTY and STATUS | A PossibleIndividual incurs a price or cost, with cost type, amount and currency | IN-PTYST-125.xml |
| IndividualHasTwoDimensionalPropertyWithValues | has2dPropertyWithValues | UPDATED MAR2023 | PROPERTY and STATUS | A PossibleIndividual has a two-dimensional property of a given type, with values and scales. | IN-PTYST-200.xml |
| IndividualHasRatioOf2MonotypeProperties | hasRatioOf2MonotypeProperties | UPDATED MAR2023 | PROPERTY and STATUS | A PossibleIndividual has a multidimensional property with values of the same dimension, the ratio of which is expressed in a dimensionless real number. | IN-PTYST-300.xml |
| IndividualHasPropertyWithValueAndStatus | hasPropertyWithValueAndStatus | UPDATED MAR2023 | PROPERTY and STATUS | A PossibleIndividual possesses a directly measurable Property with a value and scale, and a status of that information. | IN-PTYST-350.xml |
| IndividualHasStatus | hasStatus | UPDATED MAR2023 | PROPERTY and STATUS | A PossibleIndividual has a Status. | IN-PTYST-400.xml |
| IndividualHasNotGivenStatus | hasNotGivenStatus | UPDATED MAR2023 | PROPERTY and STATUS | A PossibleIndividual has not a given Status. | IN-PTYST-401.xml |
| EndingOfStatusOfIndividualAtEvent | hasEndOfStatusAtEvent | UPDATED MAR2023 | PROPERTY and STATUS | The Status of a PossibleIndividual is ended at an Event at a date and time. | IN-PTYST-450.xml |
| OtherRelationshipBetweenTwoIndividuals | hasOtherRelationshipToOtherIndividual | UPDATED MAR2023 | RELATIONSHIP-OTHER | A PossibleIndividual is related to another PossibleIndividual, and that relationship is classified with a ClassOfRelationshipWithSignature | IN-OTHRL-100.xml |
| RelationshipBetweenIndividualAndClassOfIndividual | hasRelationshipToClass INVERSE coHasRelationshipToIndividual | UPDATED MAR2023 | RELATIONSHIP-OTHER | A PossibleIndividual is related to a ClassOfIndividual, and that relationship is classified with a ClassOfRelationshipWithSignature. | IN-OTHRL-200.xml |
| ImplementationOfIndividualByIndividual | implementedBy INVERSE implements | UPDATED MAR2023 | RELATIONSHIP-OTHER | A PossibleIndividual existing in a NonActual PossibleWorld is implemented by a PossibleIndividual existing in the Actual World. | IN-OTHRL-600.xml |
| ShapeOfIndividualWithReferenceProperty | hasShapeWithReferenceProperty | UPDATED MAR2023 | SHAPE | A PossibleIndividual possesses a Shape of a given type, where that Shape has a ShapeDimension defined with an earlier defined Property. | IN-SHAPE-100.xml |
| IndividualHasShapeWithDimension | hasDimensionedShape | UPDATED MAR2023 | SHAPE | A PossibleIndividual possesses a Shape of a given type, where that Shape has a ShapeDimension defined with the applicable Property, with value and scale. | IN-SHAPE-200.xml |
| DefinitionOfShapeOfIndividual | hasShapeRepresentedByGeometricCode | UPDATED MAR2023 | SHAPE | SHAPE A PossibleIndividual has a Shape of a given type, that is defined with geometric templates, and is in compliance with a given ClassOfClassOfInformationRepresentation. | IN-SHAPE-300.xml |
| StreamHasSource | streamHasSource | UPDATED MAR2023 | STREAM | A Stream has a PhysicalObject as a source. | IN-STRM-100.xml |
| StreamHasDestination | streamHasDestination | UPDATED MAR2023 | STREAM | A Stream has a PhysicalObject as a destination. | IN-STRM-200.xml |
| PropertyOfStreamAtLocation | streamHasPropertyAtTimeAndLocation | UPDATED MAR2023 | STREAM | A temporal part of an instance of Stream at a given location has a Property with value and scale. | IN-STRM-300.xml |
| ActualStreamCompliesWithProcessDesignStreamYesNo | streamCompliesWithDesignClassYN | UPDATED MAR2023 | STREAM | An actual Stream is or is not complying with the criteria for memberschip of the applicable Stream class defined in Process Design. | IN-STRM-400.xml |
| CompositionOfAnIndividual | hasAsCompositionPart | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual is a 'part' in a composition with another PossibleIndividual as the 'whole'. | IN-STRUC-060.xml |
| IndividualHasCompositionPartPercentage | hasCompositionPercentage | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual is a 'part' in a composition with another PossibleIndividual as the 'whole', expressed as a percentage, where that 'whole' counts for 100% and the 'part' has a given percentage of that 100%. | IN-STRUC-065.xml |
| ImplementationOfNonActualRelationship | hasImplementedClassifiedRelationshipWith | UPDATED MAR2023 | STRUCTURE | Two non-actual physical objects and two implementing actual physical objects have the same kind of Relationship, and the actual implements the non-actual Relationship. | IN-STRUC-080.xml |
| ArrangementOfAnIndividual | hasAsArrangementPart | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual is a 'part' in a classified (physical) arrangement with another PossibleIndividual as the 'whole'. | IN-STRUC-120.xml |
| EnumerationOfIndividual | isMemberOfEnumeratedSetOfIndividual | UPDATED MAR2023 | STRUCTURE | An EnumerationOfIndividual is a set of instances of PossibleIndividual, that are collected by making them members of an instance of EnumeratedSetOfIndividual. | IN-STRUC-140.xml |
| AssemblyOfAnIndividual | hasAsAssemblyPart | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual is a 'part' in an assembly with another PossibleIndividual as the 'whole'. | IN-STRUC-180.xml |
| ClassifiedAssemblyOfIndividual | hasAsClassifiedAssemblyPart | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual is a 'part' in an assembly with another PossibleIndividual as the 'whole', and that assembly shall comply with a given instance of ClassOfAssemblyOfIndividual. | IN-STRUC-240.xml |
| IndividualHasComponentCountByRange | hasComponentCountByRange | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual is a member of a ClassOfIndividual that has a m-to-n range of monotype components. | IN-STRUC-300.xml |
| PartInAssemblyOfIndividualApplicableYesNo | hasAsAssemblyPartYN | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual has or has not a member of a ClassOfIndividual as a part in an assembly. | IN-STRUC-360.xml |
| FeatureOfIndividual | hasAsFeaturePart | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual is the 'whole' in a composition with a Feature as the 'part'. | IN-STRUC-420.xml |
| FeatureOfIndividualApplicableYesNo | hasAsFeaturePartYN | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual is or is not the 'whole' in a composition with an unidentified member of a ClassOfFeature that is as the 'part'.; the FeatureWholePart relationship is classified with the instance FALSE or TRUE of ClassOfAssertion. | IN-STRUC-480.xml |
| ClassifiedDirectConnectionOfTwoIndividuals | isTypedDirectlyConnectedWith | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual is directly connected to another PossibleIndividual, and that connection classified with an earlier declared ClassOfDirectConnection. | IN-STRUC-540.xml |
| ClassifiedIndirectConnectionOfTwoIndividuals | isTypedIndirectlyConnectedWith | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual is indirectly connected to another PossibleIndividual, and that connection classified with an earlier declared ClassOfIndirectConnection. | IN-STRUC-600.xml |
| IndividualTypeUsedInADirectConnection | isUsedForDirectConnection | UPDATED MAR2023 | STRUCTURE | An undentified member of a ClassOfIndividual is used for a direct connection between instances of PossibleIndividual. | IN-STRUC-660.xml |
| IndividualUsedInAnIndirectConnection | isUsedForIndirectConnection | UPDATED MAR2023 | STRUCTURE | An unidentified member of a ClassOfIndividual is used for an Indirect connection between instances of PossibleIndividual. | IN-STRUC-720.xml |
| AggregateOfMonotypeIndividual | isAggregateWithMemberCountOf | UPDATED MAR2023 | STRUCTURE | A PossibleIndividual is a counted aggregate of unidentified members of one ClassOfIndividual. | IN-STRUC-780.xml |