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 | FOR ISO BALLOT* | ACTIVITY | A class-of-temporal-part of a ClassOfActivity has a class-of-temporal-part of a ClassOfPhysicalObject as a participant in a given Role. | CL-ACTIV-100.xml |
| ClassOfDualParticipationDefinition | CLS-2ParticipantsInActivityClass | FOR ISO BALLOT* | ACTIVITY | A ClassOfActivity has a classOfTemporalPart of two ClassOfPhysicalObjects as participants, each in their given Role. | CL-ACTIV-150.xml |
| ClassOfParticipationApplicableYesNo | CLS-participationApplicableYesNo | FOR ISO BALLOT* | ACTIVITY | Establishing that a member of a ClassOfPhysicalObject plays or plays not a participating Role in any member of a ClassOfActivity | CL-ACTIV-200.xml |
| ClassOfParticipationAndInvolvementByReferenceDefinition | CLS-participate+involvedInACTclass | FOR ISO BALLOT* | ACTIVITY | A ClassOfActivity has a class-of-temporal-part of a ClassOfPhysicalObject as a participant, and a class-of-temporal-part of a Class involved by reference, each in their given Role | CL-ACTIV-250.xml |
| ClassOfInvolvementByReferenceDefinition | CLS-involvedByRefInActivityClass | FOR ISO BALLOT* | 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 |
| ClassOfInvolvementByReferenceNotApplicable | CLS-notInvolvedByRefInActivityClass | FOR ISO BALLOT* | ACTIVITY | Establishing that no member of a ClassOfPhysicalObject plays an involvement-by-reference Role in any member of a ClassOfActivity | CL-ACTIV-310.xml |
| ClassOfRecognitionDefinition | CLS-isRecognizedByActivityClass | FOR ISO BALLOT* | 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-causesBeginOfClassState | FOR ISO BALLOT* | ACTIVITY | A class-of-temporal-part of an instance of ClassOfActivity begins the existence of an instance of ClassOfIndividual. | CL-ACTIV-600.xml |
| ClassOfCauseOfEndingOfClassOfIndividualDefinition | ACTCLS-causesEndingClassState | FOR ISO BALLOT* | ACTIVITY | A class-of-temporal-part of an instance of ClassOfActivity ends the existence of an instance of ClassOfIndividual. | CL-ACTIV-700.xml |
| ClassificationOfClassOfIndividual | CLS-isClassifiedWith | FOR ISO BALLOT* | CLASSIFICATION | A class-of-temporal-part of an instance of ClassOfIndividual is a member of an instance of ClassOfClassOfIndividual. | CL-CLSIF-100.xml |
| ClassificationOfClassOfIndividualNotApplicable | CLS-classificationNotApplicable | FOR ISO BALLOT* | CLASSIFICATION | A class-of-temporal-part instance of a ClassOfIndividual is not classified with an instance of ClassOfClassOfIndividual; the Classification relationship is classified with an instance FALSE of ClassOfAssertion. | CL-CLSIF-200.xml |
| SpecializationOfClassOfIndividual | CLS-isSubclassOf | FOR ISO BALLOT* | 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 |
| SpecializationOfClassOfIndividualNotApplicable | CLS-specializationNotApplicable | FOR ISO BALLOT* | SPECIALIZATION | A class-of-temporal-part instance of a ClassOfIndividual is noy a specialization of an instance of another ClassOfIndividual; the Specialization relationship is classified with the instance FALSE of ClassOfAssertion. | CL-SPECN-200.xml |
| DefinitionOfClassOfClass | COClassIsDefinedBy | FOR ISO BALLOT* | DEFINITION | Definition of a (Part 2) ClassOfClass with an instance of ClassOfInformationRepresenstation, the details of which are defined in an instance of the template DetailingOfInformationRepresentation. | CL-DEFN-080.xml |
| DefinitionOfClassOfIndividual | CLS-isDefinedBy | FOR ISO BALLOT* | DEFINITION | Definition of a (Part 2) ClassOfIndividual with an instance of ClassOfExpressInformationRepresenstation, the details of which are defined in an instance of the template DetailingOfInformationRepresentation. | CL-DEFN-160.xml |
| DefinitionOfClassOfIndividualWithInfoSet | CLS-definedByInfoSet | FOR ISO BALLOT* | DEFINITION | A class-of-temporal-part of an instance of ClassOfIndividual is, by means of an instance of ClassOfDefinition, linked to a ClassOfInformationRepresentation that is the result of a union of a set of Templates collected by an instance of EnumeratedSetOfClass. | CL-DEFN-200.xml |
| DefinitionOfClassOfIndividualOnDocument | CLS-isDefinedByInfoRepOnDoc | FOR ISO BALLOT* | DEFINITION | A [EssentialType] class [hasClass] is defined with a [hasDefinition] that is contained by [EssentialType] class [hasDocument]. | CL-DEFN-320.xml |
| ClassifiedDefinitionOfClassOfRelationship | CORelationshipIsDefinedBy | FOR ISO BALLOT* | DEFINITION | Definition of a ClassOfRelationship via an instance of ClassOfInformationRepresenstation | CL-DEFN-480.xml |
| DefinitionOfClassOfIndividualWithClassifiedSign | CLS-isDefinedBySign | FOR ISO BALLOT* | 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 | FOR ISO BALLOT* | DEFINITION | Defining a class-of-temporal-part ClassOfMultidimensionalObject with two 'roles' by defining the related instances of RoleAndDomain. | CL-DEFN-640.xml |
| DefinitionOfRoleAndDomain | RoleAndDomainDefinition | FOR ISO BALLOT* | 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 | CLS-ParticipRoleAndDomainDefn | FOR ISO BALLOT | 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 | CLS-isDescribedBy | FOR ISO BALLOT* | DESCRIPTION | A class-of-temporal-part of a (Part 2) ClassOfIndividual is described with a ClassOfInformationRepresentation that is detailed separately. | CL-DESCR-100.xml |
| DescriptionOfClassOfIndividualWithClassifiedSign | CLS-isDescribedBySign | FOR ISO BALLOT | 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 | FOR ISO BALLOT | DOCUMENT | Define a DocumentDefinition by relating it to an example information object (document). | CL-DOCS-050.xml |
| ClassOfInformationObjectWithPresentationAndRepresentation | DOC-isSubClassOfPresAndRepres | FOR ISO BALLOT | DOCUMENT | A class-of-temporal-part an instance of ClassOfInformationObject is a specialization of an instance of ClassOfInformationRepresentation and a specialization of an instance of ClassOfInformationPresentation.Both are to be defined separately. | CL-DOCS-100.xml |
| DefinitionOfDocumentByContentsType | DOC-definedByContentsType | FOR ISO BALLOT | DOCUMENT | Definng the contents type of an instance of ClassOfInformationObject by making it a specialization of a ClassOfExpressInformationRepresentation that is classified with a ClassOfClassOfInformationRepresentation that is a specialization of DocumentDefinition. | CL-DOCS-150.xml |
| DefinitionOfDocumentContentsLanguage | DOC-contentLanguageIs | FOR ISO BALLOT | 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 |
| DefinitionOfDocumentContentsFormat | DOC-contentFormatIs | FOR ISO BALLOT | DOCUMENT | Definng the 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 | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 |
| ContentsOfADocument | DOC-contentsDefinedByInfoRep | FOR ISO BALLOT | DOCUMENT | The contents of a document ClassOfInformationObject are defined by specializing it from an instance of ClassOfInformationRepresentation. | CL-DOCS-350.xml |
| DocumentTypeApplicableForClassOfIndividualYesNo | DOC-ApplicableForCLSYesNo | FOR ISO BALLOT | DOCUMENT | A document type about a class-of-temporal-part of a ClassOfIndividual is | is not applicable. | CL-DOCS-450.xml |
| ReferenceToClassOfIndividualOnDocument | CLS-isReferredOnDOC | FOR ISO BALLOT | 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 | FOR ISO BALLOT | DOCUMENT | A class-of-temporal-part of a Part 2 ClassOfIndividual is represented on a document, just for cross-reference. | CL-DOCS-525.xml |
| DetailingOfInformationRepresentation | DetailedInformationRepresentation | FOR ISO BALLOT | DOCUMENT | Detailing of an instance of ClassOfInformationRepresentation in terms of content and typing thereof with DocumentDefinition, Language and RepresentationForm. | CL-DOCS-750.xml |
| DefinitionOfDocumentContentWithSetOfClass | DocContentDefinedByTemplateSet | FOR ISO BALLOT | 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 | FOR ISO BALLOT | DOCUMENT | Translation into another of language of an instance of ClassOfInformationRepresentation. | CL-DOCS-850.xml |
| TranslationOfClassOfInformationObjectRequiredYesNo | COInfoObjectTranslatedYesNo | FOR ISO BALLOT | DOCUMENT | Translation into another of language of an instance of ClassOfInformationObject is required YesNo. | CL-DOCS-860.xml |
| HardcopyOfDocumentRequiredYesNo | DOC-hardcopyReqdYesNo | FOR ISO BALLOT | 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 | FOR ISO BALLOT | EXISTENCE | A class-of-temporal-part of a ClassOfIndividual is linked to its class-of-temporal-whole (that had been declared before) | CL-EXIST-100.xml |
| ActivityCausesEffectiveClassOfIndividual | CLS-effectivityCausedByAct | FOR ISO BALLOT | EXISTENCE | A temporal part of an instance of Activity involves-by reference a ClassOfIndividual that plays the Role of "EFFECTIVE", starting at the dateTime that that Activity has ended. | CL-EXIST-300.xml |
| ActivityCausesDeprecatedClassOfIndividual | CLS-deprecationCausedByAct | FOR ISO BALLOT | EXISTENCE | A temporal part of an instance of Activity involves-by reference a ClassOfIndividual that plays the Role of "DEPRECATED", starting at the dateTime that that Activity has ended. | CL-EXIST-500.xml |
| FunctionalMappingOf2ExpressReals | equationWithTwoRealsInputs | FOR ISO BALLOT | FUNCTION | Equation with two instances of ExpressReal as inputs and one instance of ExpressReal as result. | CL-FUNC-100.xml |
| FunctionalMappingOf3ExpressReals | equationWithThreeRealsInputs | FOR ISO BALLOT | FUNCTION | Equation with three numbers as inputs and one number as result. | CL-FUNC-200.xml |
| FunctionalMappingOf4ExpressReals | equationWithFourRealsInputs | FOR ISO BALLOT | FUNCTION | Equation with four instances of ExpressReal as inputs and one instance of ExpressReal as result. | CL-FUNC-300.xml |
| FunctionalMappingOf5ExpressReals | equationWithFiveRealsInputs | FOR ISO BALLOT | FUNCTION | Equation with five instances of ExpressReal as inputs and one instance of ExpressReal as result. | CL-FUNC-400.xml |
| IdentificationOfClassOfIndividual | CLS-isIdentifiedByString | FOR ISO BALLOT | IDENTIFICATION | Identification of a class-of-temporal-part of a (Part 2) ClassOfIndividual with an instance of ClassOfInformationRepresentation, that is detailed with a separate template DetailingOfInformationRepresentation. | CL-IDENT-100.xml |
| ClassOfContainmentDefinition | CLS-contains | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 |
| SpecializationByCompoundType | CLS-isOfMaterialType | FOR ISO BALLOT | MATERIAL | A class-of-temporal-part of an instance of ClassOfIndividual is a subclass of an instance of (Part 2) ClassOfCompound. | CL-MATL-100.xml |
| SpecializationByCrystallineStructureType | COCompoundHasCrystalStruc | FOR ISO BALLOT | 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 | FOR ISO BALLOT | MATERIAL | A class-of-temporal-part of an instance of ClassOfIndividual is a subclass of an instance of (Part 2) ClassOfBiologicalMatter. | CL-MATL-300.xml |
| SpecializationByCompositeMaterialType | CLS-isOfCompositeMaterial | FOR ISO BALLOT | MATERIAL | A class-of-temporal-part of an instance of ClassOfIndividual is a subclass of an instance of (Part 2) ClassOfCompositeMaterial. | CL-MATL-400.xml |
| SpecializationByParticulateMaterialType | CLS-isOfParticulateMaterial | FOR ISO BALLOT | MATERIAL | A class-of-temporal-part of an instance of ClassOfIndividual is a subclass of an instance of (Part 2) ClassOfParticulateMaterial | CL-MATL-500.xml |
| SpecializationByPhase | CLS-hasPhase | FOR ISO BALLOT | MATERIAL | A class-of-temporal-part of an instance of ClassOfIndividual is a subclass of an instance of (Part 2) Phase. | CL-MATL-600.xml |
| TwoDimensionalNumberDefinition | CLS-TwoDimensionalNumber | FOR ISO BALLOT | NUMBER | Definition of a two-dimensional number. | CL-NUMB-100.xml |
| ThreeDimensionalNumberDefinition | CLS-ThreeDimensionalNumber | FOR ISO BALLOT | NUMBER | Definition of a three-dimensional number. | CL-NUMB-200.xml |
| NumberRangeDefinition | NumberRangeDefinition | FOR ISO BALLOT | NUMBER | A NumberRange with given lower and upper bounding values. | CL-NUMB-300.xml |
| NumberSpaceWithBoundingNumberSpace | RefNumberSpaceBoundedNumberSpace | FOR ISO BALLOT | NUMBER | A NumberSpace with a bounding NumberSpace | CL-NUMB-400.xml |
| ClassOfIndividualHasIndirectPropertyRange | CLS-hasIndirectPropertyRange | FOR ISO BALLOT | PROPERTY-INDIRECT | A ClassOfIndividual has an indirect PropertyRange with bounding values and scale. | CL-INDPTY-200.xml |
| ClassOfIndividualHasTwoDimensionalIndirectPropertyRange | CLS-has2DIndirectPropertyRange | FOR ISO BALLOT | PROPERTY-INDIRECT | ClassOfIndividual has a two-dimensional indirect property range, with bounding values on scales. | CL-INDPTY-210.xml |
| ClassOfIndividualHasIndirectPropertyWithMaximumValue | CLS-hasIndirectPropertyMaxValue | FOR ISO BALLOT | PROPERTY-INDIRECT | An instance of ClassOfIndividual has a ClassOfIndirectProperty with a given maximum value and scale. | CL-INDPTY-300.xml |
| ClassOfIndividualHasIndirectPropertyWithValue | CLS-hasIndirectPropertyValue | FOR ISO BALLOT | PROPERTY-INDIRECT | Members of a class-of-temporal-part of a ClassOfIndividual has a ClassOfIndirectProperty with a given point value and scale. | CL-INDPTY-400.xml |
| ClassOfIndividualHasIndirectPropertyWithMinimumValue | CLS-hasIndirectPropertyMinValue | FOR ISO BALLOT | PROPERTY-INDIRECT | Members of a class-of-temporal-part of a ClassOfIndividual has a ClassOfIndirectProperty with a given minimum value and scale. | CL-INDPTY-500.xml |
| ClassOfIndividualHasConditionalIndirectPropertyWithValue | CLS-hasConditionalIndirProperty | FOR ISO BALLOT | PROPERTY-INDIRECT | Members of a class-of-temporal-part of a 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 another ClassOfIndividual. | CL-INDPTY-700.xml |
| ClassOfIndividualHasStatus | CLS-hasStatus | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | FOR ISO BALLOT | PROPERTY and STATUS | Any member of a class-of-temporal-part of an instance of ClassOfIndividual has a Property with a value on a scale. | CL-PTYST-240.xml |
| ClassOfIndividualHasMonetaryValue | CLS-hasMonetaryValue | FOR ISO BALLOT | PROPERTY and STATUS | A class-of-temporal-part of an instance of ClassOfIndividual has a Property, representing a monetary property, with a given value and currency (scale). | CL-PTYST-260.xml |
| ClassOfIndividualHasPropertyWithVariance | CLS-hasPropertyWithVariance | FOR ISO BALLOT | PROPERTY and STATUS | Members of a ClassOfIndividual have a Property with a plus and minus variance. | CL-PTYST-400.xml |
| ClassOfIndividualHasPropertyWithPercentageVariance | CLS-hasPropertyWithPercVariance | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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. | CL-PTYST-560.xml |
| ClassOfIndividualHasTwoDimensionalPropertyWithValues | CLS-has2DPropertyWithValues | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | PropertyRangeDefinition | FOR ISO BALLOT | PROPERTY and STATUS | Definition of a PropertyRange with bounding values on a scale. | CL-PTYST-740.xml |
| ClassOfIndividualHasDirectPropertyRange | CLS-hasDirectPropertyRange | FOR ISO BALLOT | PROPERTY and STATUS | A ClassOfIndividual has a direct PropertyRange with bounding values and scale. | CL-PTYST-760.xml |
| PropertyDefinition | CLS-PropertyDefinition | FOR ISO BALLOT | PROPERTY and STATUS | Definition of a Property with a given value on a scale. | CL-PTYST-800.xml |
| ClassOfOtherRelationshipWithDualParticipation | CLS-OtherRelDualParticipation | FOE ISO BALLOT | 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-otherRelParticipAndInvolvementByRef | FOR ISO BALLOT | 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 |
| DifferenceOf2Classes | CLS-differenceOf2Classes | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | CLS-2ClassesAreDisjoint | FOR ISO BALLOT | SET OPERATIONS | Definition of the disjointness of two Part 2 Classes. | CL-SETOP-160.xml |
| IntersectionOf2Classes | CLS-intersectionOf2CLS | FOR ISO BALLOT | SET OPERATIONS | Definition of the intersection of the members of an enumerated set of two Part 2 classes. | CL-SETOP-400.xml |
| RelativeComplementOf2Classes | CLS-isRelativeComplementOf2CLS | FOR ISO BALLOT | SET OPERATIONS | Definition of the relative complement of a Part 2 Class in another Part 2 Class. | CL-SETOP-480.xml |
| UnionOf2Classes | CLS-isUnionOfTwoClasses | FOR ISO BALLOT | SET OPERATIONS | Definition of the union of two Part 2 Classes. | CL-SETOP-560.xml |
| EnumerationOfClass | CLS-isMemberOfEnumSetOfClass | FOR ISO BALLOT | 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 |
| UnionOfEnumeratedSetOfClass | CLS-isUnionOfEnumSetOfClassMembers | FOR ISO BALLOT | 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 |
| ClassOfShapeDimensionPropertySpace | CLS-hasShapeDimensionPropertySpace | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 |
| DefinitionOfShapeRepresentation | CLS-definitionOfShapeRepres | FOR ISO BALLOT | 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 |
| ClassOfIndividualHasDimensionedShapeWithValue | CLS-hasDimensionedShape | FOR ISO BALLOT | SHAPE | 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, and that Property is quantified with an ExpressReal on a Scale. | CL-SHAPE-500.xml |
| ClassOfCompositionDefinition | CLS-hasAsCompositionPart | FOR ISO BALLOT | 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 |
| ClassOfCompositionPartPercentage | CLS-hasCompositionPercentage | FOR ISO BALLOT | STRUCTURE | The 'classOfWhole' in a compositon class has 100% and the 'classOfPart' has a given percentage of that 100%. | CL-STRUC-080.xml |
| ClassOfCompositionPartPercentageByRange | CLS-hasCompPercentRange | FOR ISO BALLOT | STRUCTURE | The 'classOfWhole' in a compositon class has 100% and the 'classOfPart' has a percentage of that 100% in a given percentage range. | CL-STRUC-081.xml |
| ClassOfArrangementDefinition | CLS-hasAsArrangementPart | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 |
| ClassOfDirectConnectionDefinition | CLS-directConnectionDef | FOR ISO BALLOT | 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 generalization of the latter. | CL-STRUC-480.xml |
| ClassOfIndirectConnectionDefinition | CLS-indirectConnectionDef | FOR ISO BALLOT | 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 generalisation of the latter. | CL-STRUC-600.xml |
| ClassOfIndividualUsedInDirectConnectionDefinition | CLS-isUsedForDirectConnection | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | |||||
| BegunParticipationOfIndividualInActivity | IND-begunParticipationInActivity | FOR ISO BALLOT | ACTIVITY | Participation of a temporal part of an instance of PhysicalObject, in a given Role, in a temporal part of an instance of Activity has begun on a given dateTime. | IN-ACTIV-040.xml |
| EndedParticipationOfIndividualInActivity | IND-endedParticipationInActivity | FOR ISO BALLOT | ACTIVITY | Participation of a temporal part of an instance of PhysicalObject, in a given Role, in a temporal part of an instance of Activity has ended on a given dateTime. | IN-ACTIV-041.xml |
| BegunParticipationOfClassInActivity | CLS-begunParticipationInActivity | FOR ISO BALLOT | ACTIVITY | An unidentified instance of ClassOfPhysicalObject has begun, on a given dateTime, to participate, in a given Role, in a temporal part of an instance of Activity. | IN-ACTIV-042.xml |
| EndedParticipationOfClassInActivity | CLS-endedParticipationInActivity | FOR ISO BALLOT | ACTIVITY | An unidentified instance of ClassOfPhysicalObject has endedn, on a given dateTime, to participate, in a given Role, in a temporal part of an instance of Activity. | IN-ACTIV-043.xml |
| ParticipationOfClassInActivityYesNo | CLS-participatesInActivityYesNo | FOR ISO BALLOT | ACTIVITY | An unidentified member of a ClassOfPhysicalObject does | does not participate, in a given Role, in a temporal part of an instance of Activity. | IN-ACTIV-044.xml |
| BegunParticipationOfIndividualInActivityType | IND-participatesInActivityType | FOR ISO BALLOT | ACTIVITY | Participation of a temporal part of an instance of PhysicalObject, in a given Role, in a temporal part of an instance of Activity, unidentified member of a given ClassOfActivity, has begun on a given dateTime. | IN-ACTIV-050.xml |
| EndedParticipationOfIndividualInActivityType | IND-endedParticipationInActivityType | FOR ISO BALLOT | ACTIVITY | Participation of a temporal part of an instance of PhysicalObject, in a given Role, in a temporal part of an instance of Activity, unidentified member of a given ClassOfActivity, has ended on a given dateTime. | IN-ACTIV-051.xml |
| ParticipationOfIndividualInActivityTypeYesNo | IND-participatesInActivityType | FOR ISO BALLOT | ACTIVITY | A temporal part of an instance of PhysicalObject does | does not participate in an instance of ClassOfActivity via an undientified member thereof, in a given Role. | IN-ACTIV-052.xml |
| EndingOfParticipationOfTwoIndividualsInSameActivity | IND-2ParticipatedInOneActivity | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 |
| InvolvementByReferenceOfClassInActivity | ACT-involvesClassByReference | FOR ISO BALLOT | ACTIVITY | A class-of-temporal-part of an instance of Class 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 | IN-ACTIV-100.xml |
| InvolvementByReferenceOfClassInActivityYesNo | ACT-involvesClassByReferenceYesNo | FOR ISO BALLOT | ACTIVITY | A class-of-temporal-part of an instance of Class is or is not 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 | IN-ACTIV-101.xml |
| RecognitionOfInformation | IND-infoIsRecognnizedByActivity | FOR ISO BALLOT | 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 | FOR ISO BALLOT | ACTIVITY | An Activity causes an Event that, in turn, marks the beginning of a PossibleIndividual. | IN-ACTIV-240.xml |
| ActivityCausesEndedIndividual | IND-activityCausesEnding | FOR ISO BALLOT | ACTIVITY | An Activity causes an Event that, in turn, marks the ending of a PossibleIndividual. | IN-ACTIV-280.xml |
| MeasuringOfTimeSeriesOfProperty | IND-hasPropertyTimeSeries | FOR ISO BALLOT | 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 |
| ApprovalWithStatusOfRelationshipInTemplate | IND-approvesRelationship | FOR ISO BALLOT | ACTIVITY | A temporal part of an instance of PossibleIndividual approves an instance of a subtype of Relationship between two things, as represented by a Template. That approval is classified with a ClassOfApprovalByStatus. | IN-ACTIV-480.xml |
| InstallingPhysicalObjectInFunctionalLocation | IND-installedInFunctionalLocation | FOR ISO BALLOT | 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 |
| UninstallingPhysicalObjectInFunctionPlace | IND-isUninstalled | FOR ISO BALLOT | 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. | IN-ACTIV-560.xml |
| ClassificationOfIndividual | IND-isClassifiedAs | FOR ISO BALLOT | CLASSIFICATION | A temporal part of a PossibleIndividual fulfils the criteria for membership of a (Part 2) ClassOfIndividual | IN-CLSIF-100.xml |
| NonComplianceWithClassOfIndividual | IND-doesNotComplyWith | FOR ISO BALLOT | 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 | FOR ISO BALLOT | CLASSIFICATION | As of a given dateTime a temporal part of a PossibleIndividual does or does not fulfil the criteria for membership of a (Part 2) ClassOfIndividual. | IN-CLSIF-300.xml |
| ClassifiedDescriptionOfIndividual | IND-isDescribedWithString | FOR ISO BALLOT | 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 |
| DescriptionOfIndividualWithClassifiedSign | IND-isDescribedWithSign | FOR ISO BALLOT | 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 |
| DocumentInitiation | DOC-isInitiatedByACT | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | DOC-isReceivedByACT | FOR ISO BALLOT | 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 | FOR ISO BALLOT | DOCUMENT | Publishing a document with publishing activity, status, date-time, and responsible party. | IN-DOCS-400.xml |
| DocumentRevision | DOC-isRevisedByACT | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 |
| ReferenceToIndividualOnDocument | IND-isReferredOnDOC | FOR ISO BALLOT | DOCUMENT | A PossibleIndividual is represented on a document, no further details | IN-DOCS-640.xml |
| RepresentationOfIndividual | IND-represByInfoRep | FOR ISO BALLOT | DOCUMENT | Representation of a temporal part of an instance of PossibleIndividual, where the representing instance of ClassOfInformationRepresentation is externally defined with an instance of DetailingInformationRepresentation | IN-DOCS-680.xml |
| RepresentationOfIndividualOnDocument | IND-isRepresentedOnDOC | FOR ISO BALLOT | DOCUMENT | Information about a temporal part of an instance of PossibleIndividual is represented on a document by an instance of ClassOfInformationRepresentation that is fully defined with an instance of the template DetailingOfInformationRepresentation. | IN-DOCS-720.xml |
| RepresentationOfIndividualOnDocumentWithTemplateSet | IND-isRepresOnDocWithTemplateSet | FOR ISO BALLOT | DOCUMENT | Information about a temporal part of an instance of PossibleIndividual is represented on a document by an instance of ClassOfInformationRepresentation that is a union of template instances, collected in an instance of EnumeratedSetOfClass | IN-DOCS-800.xml |
| IndividualHasTemporalPart | IND-hasTemporalPart | FOR ISO BALLOT | EXISTENCE | A temporal part of a PossibleIndividual is related to its temporal whole | IN-EXIST-100.xml |
| BeginningOfIndividualAtEvent | IND-hasBeginningIndividualAtEvent | FOR ISO BALLOT | EXISTENCE | An instance of a PossibleIndividual begins its existence at an Event | IN-EXIST-200.xml |
| EndingOfIndividualAtEvent | IND-hasAsEndingTempPartAtEvent | FOR ISO BALLOT | EXISTENCE | An instance of PossibleIndividual ends its existence at an Event | IN-EXIST-400.xml |
| SkillOfAPerson | INDPersonHasAsSkill | FOR ISO BALLOT | FUNCTION | A temporal part of an instance of Person has a skill, defined by means of a ClassOfRelationshipWithSignature. | IN-FUNC-100.xml |
| IdentificationOfIndividual | IND-isIdentifiedWithString | FOR ISO BALLOT | 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 | FOR ISO BALLOT | IDENTIFICATION | The classified label of a PossibleIndividual has been changed to another string value. | IN-IDENT-150.xml |
| IdentificationOfIndividualWithClassifiedSign | IND-isIdentifiedWithSign | FOR ISO BALLOT | IDENTIFICATION | A temporal part of 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 | IND-containsIND | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 |
| RelativeLocationOfIndividualWithDistance | IND-isRelativelyLocatedWithDistance | FOR ISO BALLOT | LOCATION | A temporal part of an instance of PossibleIndividual is located in a relative position, with a distance dimension, as compared with a temporal part of an instance of another PossibleIndividual. | IN-LOCTN-250.xml |
| PositionOfIndividualIn2DCoordinateSystem | IND-isLocatedIn2dCoordinates | FOR ISO BALLOT | 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 |
| PositionOfIndividualIn3DCoordinateSystem | IND-isLocatedIn3dCoordinates | FOR ISO BALLOT | LOCATION | The location of a temporal part of an instance of a SpatialLocation is expressed in coordinates of a given three-dimensional coordinate system. | IN-LOCTN-400.xml |
| ClassificationOfIndividualWithClassOfMatter | IND-isOfMatterType | FOR ISO BALLOT | MATERIAL | A temporal part of an instance of PossibleIndividual is a member of an instance of ClassOfMatter. | IN-MATL-100.xml |
| ClassificationOfIndividualWithPhase | IND-hasPhase | FOR ISO BALLOT | MATERIAL | A temporal part of an instance of PossibleIndividual is a member of a Phase. | IN-MATL-500.xml |
| IndividualHasIndirectPropertyRange | IND-hasIndirectPropertyRange | FOR ISO BALLOT | PROPERTY-INDIRECT | An instance of PossibleIndividual has an indirect PropertyRange, with given bounding values and scale. | IN-INDPTY-100.xml |
| IndividualHasIndirectPropertyWithValue | IND-hasIndirectPropertyValue | FOR ISO BALLOT | PROPERTY-INDIRECT | IndirectProperty possessed by an instance of PossibleIndividual with given value and scale. | IN-INDPTY-200.xml |
| IndividualHasIndirectPropertyWithMaximumValueInPeriodInTime | IND-hasIndPropertyValuePeriod | FOR ISO BALLOT | 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 |
| IndividualHasIndirectPropertyWithAverageValueInPeriodInTime | IND-hasIndPropertyAvgValuePeriod | FOR ISO BALLOT | 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 |
| IndividualHasIndirectPropertyWithMinimumValueInPeriodInTime | IND-hasIndPropertyMinValuePeriod | FOR ISO BALLOT | 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 |
| IndividualHasPropertyWithValue | IND-hasPropertyWithValue | FOR ISO BALLOT | PROPERTY and STATUS | An instance of PossibleIndividual possesses a (direct) Property with given value and scale. | IN-PTYST-100.xml |
| IndividualHasMonetaryValue | IND-hasMonetaryValue | FOR ISO BALLOT | PROPERTY and STATUS | Price or cost of a PossibleIndividual with cost type, amount and currency | IN-PTYST-125.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. | IN-PTYST-150.xml |
| IndividualHasTwoDimensionalPropertyWithValues | IND-has2DPropertyWithValues | FOR ISO BALLOT | 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 |
| IndividualHas2MappedProperties | IND-has2MappedProperties | FOR ISO BALLOT | PROPERTY and STATUS | Ratio between two property values of the same property type of an instance of PossibleIndividual, expressed in a dimensionless real number. | IN-PTYST-300.xml |
| IndividualHasPropertyWithValueAndStatus | IND-hasPropertyWithValueAndStatus | FOR ISO BALLOT | PROPERTY and STATUS | An instance of PossibleIndividual possesses a (direct) Property with given value, scale, and Status. | IN-PTYST-350.xml |
| IndividualHasStatus | IND-hasStatus | FOR ISO BALLOT | PROPERTY and STATUS | A temporal part of an instance of PossibleIndividual has a Status. | IN-PTYST-400.xml |
| IndividualHasNotGivenStatus | IND-hasNotStatus | FOR ISO BALLOT | PROPERTY and STATUS | A temporal part of an instance of PossibleIndividual has not a particular Status. | IN-PTYST-401.xml |
| EndingOfStatusOfIndividualAtEvent | IND-endOfStatusAtEvent | FOR ISO BALLOT | 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 |
| RelationshipBetweenTwoIndividuals | IND-hasRelationshipToIND | FOR ISO BALLOT | RELATIONSHIP-OTHER | A temporal part of an instance of PossibleIndividual is related to another temporal part of an instance of PossibleIndividual, and that relationship is classified with an applicable instance of ClassOfRelationshipWithSignature | IN-OTHRL-100.xml |
| RelationshipBetweenIndividualAndClassOfIndividual | IND-hasRelattionshipToCLS | FOR ISO BALLOT | RELATIONSHIP-OTHER | A temporal part of an instance of PhysicalObject 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-200.xml |
| ImplementationOfIndividualByIndividual | IND-nonActualImplementedByActualIND | FOR ISO BALLOT | RELATIONSHIP-OTHER | A PossibleIndividual existing in a Non-actual PossibleWorld is implemented by a PossibleIndividual existing in the Actual World. | IN-OTHRL-600.xml |
| ShapeOfIndividualWithReferenceProperty | IND-hasShapeWithRefProperty | FOR ISO BALLOT | 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 | FOR ISO BALLOT | SHAPE | A temporal part of a PossibleIndividual possesses a Shape with a given ShapeDimension, with value and scale. | IN-SHAPE-200.xml |
| DefinitionOfShapeOfIndividual | IND-hasShapeRepresPart3Code | FOR ISO BALLOT | SHAPE | A temporal part of an instance of PossibleIndividual has a Shape that is defined with Part 3 templates and is in a given RepresentationForm. | IN-SHAPE-300.xml |
| StreamHasSource | IND-streamHasSource | FOR ISO BALLOT | 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 | IND-streamHasDestination | FOR ISO BALLOT | 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 |
| PropertyOfStreamAtLocation | IND-streamHasPropertyAtLocation | FOR ISO BALLOT | 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 | IND-streamCompliesWithDesignYesNo | FOR ISO BALLOT | 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 | IND-hasAsCompositionPart | FOR ISO BALLOT | 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 |
| IndividualHasCompositionPartPercentage | IND-hasCompositionPercentage | FOR ISO BALLOT | STRUCTURE | The 'whole' has 100% and the 'part' has a given percentage of that 100%. | IN-STRUC-065.xml |
| IndirectPartakingOfNonActualObjectInActualRelationship | IND-TagInActualRelationship | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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, that includes the part, as the 'whole'. | IN-STRUC-120.xml |
| EnumerationOfIndividual | IND-isMemberOfEnumSetOfIndividual | FOR ISO BALLOT | STRUCTURE | With an instance of EnumeratedSetOfIndividual a set of instances of Part 2 PossibleIndividual, or a subtype thereof, is collected by making them a member of the former. | IN-STRUC-140.xml |
| AssemblyOfAnIndividual | IND-hasAsAssemblyPart | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 |
| IndividualHasComponentCountByRange | IND-hasComponentCountRange | FOR ISO BALLOT | STRUCTURE | A temporal part of a PossibleIndividual is a member of a ClassOfIndividual that has a m-to-n range of components. | IN-STRUC-300.xml |
| PartInAssemblyOfIndividualApplicableYesNo | IND-hasAsAssemblyPartYesNo | FOR ISO BALLOT | STRUCTURE | A temporal part of a PossibleIndividual has or has not a member of a ClassOfIndividual as a part in an assembly. | IN-STRUC-360.xml |
| FeatureOfIndividual | IND-hasAsFeature | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 | FOR ISO BALLOT | 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 |
| IndividualTypeUsedInADirectConnection | IND-isUsedForDirectConnection | FOR ISO BALLOT | STRUCTURE | A temporal part of a member of ClassOfIndividual is used for a direct connection between instances of PossibleIndividual. | IN-STRUC-660.xml |
| IndividualUsedInAnIndirectConnection | IND-isUsedForIndirectConnection | FOR ISO BALLOT | 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 | FOR ISO BALLOT | STRUCTURE | A temporal part of an instance of PossibleIndividual is a counted aggregate of members of one ClassOfParticulateMaterial. | IN-STRUC-780.xml |