Appendix A - part 3A List of types of relations between kinds of things (continued)

This list is a continuation of the alphabetic list of types of relations between kinds of things.

UID of relation type Gellish phrase Definition
4.714 can have a role as a is a conceptual possession of an aspect by an individual thing that indicates that members of the subtype of individual thing can play a role of the kind of role. Irrespect of whether they actually play such a role.
4.648 can have a role in a is a conceptual relation between members of classes that indicates that members of the involved class can be involved in members of the involver class that is a subtype of occurrence.
5.506 can have a role in an occurrence towards a is a conceptual binary relation that indicates that a member of the referring kind of thing can have a role in an occurrence to which a member of the referred kind of physical object is subjected.
5.507 can have a role in an occurrence within a period of a is a conceptually having a role in an occurrence about a physical object that indicates that the time is a period within which an occurrence takes placed in which the physical object is involved.
5.249 can have a whole with as aspect a is a conceptual possession of an aspect by an individual thing that indicates a subtype of aspect which members are possessed by parts that are members of the possessor subtype of physical object.
5.259 can have a whole with as aspect in role a is a conceptual aspect of a whole of a physical object that indicates a subtype of role which members roles of aspects that are possessed by assemblies of members of the possessor subtype of physical object.
5.414 can have as address a is a conceptual reference between physical objects that indicates members of the referring physical object with as name an address can reference members of the referred subtype of physical object that can have a role as receiver of messages. For example, an area in a street can be a post address of a person and a post office box can be a post address of a person.
4.653 can have as aid a is a conceptual involvement in an occurrence that indicates that members of the involved class have a role as aid in members of the conceptual occurrence.
5.566 can have as alternative a is a conceptual binary relation that indicates that a member of the conceptual alternative kind of object can be used instead of a member of the other kind of object. For example, a software system can be used instead of (as an alternative for) another software system to do the same kind of task.
1.413 can have as arrangement a is a conceptual possession of an aspect by an individual thing that is a specialization of the possessor subtype of relationships that constrains members of the subtype of physical object to possess members of the common topologic
5.426 can have as auxiliary a is a conceptual support to an individual thing that indicates that members of the supported subtype of individual thing can have members of the auxiliary subtype of individual thing as auxiliary item. Typically the supported and the auxiliary are both parts of a bigger assembly or system.
5.032 can have as boundary a is a conceptual correlation that indicates that members of the bounding class can act as a boundary to members of the bounded class.
1.813 can have as comparison result a is a conceptual possession of an aspect by an individual thing that indicates the types of characteristics that a type of comparison may possess.
1.261 can have as component a is a conceptual binary relation that indicates that individual things that are classified by the part subtype of individual object can be a component of individual objects that are classified by the whole subtype of individual object with cardinality constraints.
4.972 can have as condition a is a conceptual involvement in a relation that indicates that a quality can be involved as condition in a conditional occurrence function. This is the 'if' condition in an if-then-else clause.
5.667 can have as conditional part a is a conceptual assembly of an individual thing that indicates that members of the assembly can have members of the part class as parts within cardinality constraints.
1.801 can have as coordinate a is a conceptual involvement in a relation that indicates a displaced spatial point possess a location of spatial point.
4.922 can have as correlation a is a conceptual being in state by being subjected to a correlation.
5.595 can have as customer a is a conceptual involvement in an occurrence that indicates that members of the involved class have a role as customer in members of the conceptual occurrence.
1.800 can have as decomposition structure a is a conceptual possession of a structure that indicates that members of the possessor conceptual occurrence possess members of the possessed common decomposition structure of an occurrence.
4.826 can have as denominator a is a conceptual factorization relation that indicates that members of the denominator class are commonly involved in members of the subtype of function.
5.597 can have as dependent object a is a conceptual reference between physical objects that indicates that members of one kind of physical object can be dependent on members of another kind of physical object for its functioning.
5.665 can have as desired part a is a conceptual assembly of an individual thing that indicates that members of the assembly can have members of the part class as parts within cardinality constraints.
5.570 can have as e-mail address a is a conceptual address of a physical object that indicates members of the referring physical object with as name an e-mail address can reference members of the referred subtype of physical object that can have a role as receiver of messages. For example, a PC or an e-mail postbox of a service provider can be an e-mail address of a person.
4.827 can have as exponent a is a conceptual factorization relation that indicates that members of the exponent class are exponents in members of the subtype of function.
4.831 can have as exponentiation basis a is a conceptual factorization relation that indicates that members of the raised class are basis for exponentiation in members of the subtype of function.
5.574 can have as fax number a is a conceptual address of a physical object that indicates members of the referring physical object with as name a fax address can reference members of the referred subtype of physical object that can have a role as receiver of faxes. For example, a telephone number of a faxmachine can be a fax address of a person.
5.585 can have as focal point a is a conceptual involvement in an occurrence that indicates that members of the involved class have a role as focal point in members of the conceptual occurrence.
5.569 can have as identifier a is a conceptual description by an encoding aspect that indicates that a member of the conceptual identifier kind of thing can or shall be an identifeir for a member of the conceptually identified kind of thing.
4.783 can have as input a is a conceptual involvement in an occurrence that indicates that members of the involved class are operated upon by members of the subtype of occurrence.
5.581 can have as location code a is a conceptual code for a term for an object that indicates that a alias term can be a location code for the base term in the context of a collection of physical points or locations. Typically the location code is a sequence number. The location code can also refer to subtypes of physical points, such as node number, point number, etc.
1.804 can have as mathematical constraint a is a conceptual bounding of an aspect that indicates that a member of the boundary class acts as a boundary to a member of the mathematical space.
4.828 can have as multiplied a is a conceptual factorization relation that indicates that members of the multiplied class are multiplied in members of the subtype of function.
4.829 can have as multiplier a is a conceptual factorization relation that indicates that members of the multiplier class are multiplier in members of the subtype of function.
5.598 can have as mutually dependent object a is a conceptual reference between physical objects that indicates that a member of a kind of physical object can be dependent on a member of another kind of physical object for its functioning whereas that other one is also dependent on the first one.
5.565 can have as name a is a conceptual description by an encoding aspect that indicates that the name is a name for the thing that is referenced via the alias encoded information.
4.830 can have as numerator a is a conceptual factorization relation that indicates that members of the numerator class are numerator in members of the subtype of function.
4.825 can have as operand a is a conceptual mathematical function that indicates that members of the operand class are operand in members of the subtype of function.
5.227 can have as option a is a conceptual bounding of an aspect that indicates that the bounding qualitative aspect is an option for members of the bounded conceptual aspect.
4.784 can have as output a is a conceptual involvement in an occurrence that indicates that members of the involved class has been operated upon by members of the subtype of occurrence.
5.577 can have as page number a is a conceptual code for a term for an object that indicates that an alias term can be a page number for the base term in the context of a collection of pages. Typically the page number is a sequence number.
4.740 can have as parameter a is a conceptual involvement in a relation that indicates that a kind of aspect is involved with some role in a correlation with one or more others.
1.191 can have as part a is a conceptual composition of an individual thing that indicates that members of the assembly can have members of the part class as parts within cardinality constraints.
5.643 can have as participant a is a conceptual involvement in an occurrence that indicates that members of the involved kind of thing can have a role as participant in members of the kind of occurrence.
5.085 can have as place of occurrence a is a conceptual involvement in an occurrence where members of the involved conceptual location are place of occurrence in members of the conceptual occurrence.
1.802 can have as point approximation a is a conceptual possession of an aspect by an individual thing that indicates that common spatial aspects can be approximated by common point approximations of the possessed class.
5.572 can have as post address a is a conceptual address of a physical object that indicates members of the referring physical object with as name a post address can reference members of the referred subtype of physical object that can have a role as receiver of messages. For example, a postbox of a postoffice can be a post address of a person.
4.833 can have as product a is a conceptual factorization relation that indicates that members of the product class are commonly resulting from the multiplication of members of the operand classes.
5.592 can have as product manager a is a conceptual reference between physical objects that indicates that the members of the referring subtype of physical object can contain information that references members of the referred subtype of physical object.
1.810 can have as property a is a conceptual possession of a characteristic where the conceptually possessed aspect is a property.
5.558 can have as provider a is a conceptual involvement as performer that indicates that members of the involved class have a role as performer in members of the conceptual occurrence.
1.609 can have as purpose a is a conceptual binary relation that indicates that members of the kind of individual object can have members of the kind of occurrence as their purpose of existence.
2.050 can have as quality a is a conceptual possession of a characteristic that indicates that members of the possessor class conceptually possess a quality of the indicated kind.
4.834 can have as quotient a is a conceptual factorization relation that indicates the quotient class in a division function as being the result of the division of members of the numerator class by members of the denominator class.
1.799 can have as reference aspect a is a conceptual possession of an aspect by an individual thing that indicates the members of the possessor subtype of individual thing possess reference aspects.
5.659 can have as response a is a conceptual cause of begin or end by occurrence that indicates that members of the successor occurrence can be a response to members of the predecessor occurrence. The temporal predecessor occurrence may be the same as the temporal successor occurrence to indicate that an occurrences may trigger another occurrence of the same type.
5.579 can have as revision code a is a conceptual code for a term for an object that indicates that an alias term can be a revision code for the base term in the context of a collection of revisions of documents. Typically the revision code is a sequence character, for example: 0, A, B, C, etc.
1.711 can have as shape a is a conceptual possession of an aspect by an individual thing that indicates each member of the possessor class possess members of the possessed subtype of spatial aspect.
5.578 can have as sheet number a is a conceptual code for a term for an object that indicates that an alias term can be a sheet number for the base term in the context of a collection of sheets. Typically the sheet number is a sequence number.
1.419 can have as source a is a conceptual binary relation that specifies that a route of a kind can begin at a physical object of a kind.
5.601 can have as stakeholder a is a conceptual involvement as participant that indicates that members of the involved class have a role as stakeholder in members of the conceptual occurrence.
4.934 can have as state a is a conceptual relation between members of classes that indicates that members of the possessor class can be in a state that is a member of the possessed subtype of state.
5.580 can have as stream number a is a conceptual code for a term for an object that indicates that an alias term can be a stream number for the base term in the context of a collection of streams. Typically the stream number is a sequence number.
4.795 can have as structure a is a conceptual possession of quality that indicates each member of the possessor class possess members of the possessed subtype of structure. Typically an atomic structure that defines a substance such as steel or water.
4.649 can have as subject a is a conceptual involvement in an occurrence that indicates that members of the involved class have a role as subject in members of the conceptual occurrence.
5.111 can have as subtype a is a conceptual relation between classes that indicates that a definied class shall be defined to be a specialization of the defining superclass or one of its subtypes; and each member of the defined class shall be defined as being also a member of the defining superclass or one of its subtypes.
5.526 can have as supporter a is a conceptual binary relation that indicates that members of the supported subtype of individual thing can have members of the supporting subtype of individual thing as supporting item. Typically a supported and its supporting thing are both parts of a bigger assembly or system.
5.573 can have as telephone number a is a conceptual address of a physical object that indicates members of the referring physical object with as name a telephone number can reference members of the referred subtype of physical object that can have a role as receiver of messages. For example, a telephone can be a telephone address of a person.
1.807 can have as time aspect a is a conceptual possession of a characteristic that indicates each member of the possessor class possess members of the possessed subtype of time.
5.666 can have as unnecessary part a is a conceptual assembly of an individual thing that indicates that members of the assembly can have members of the part class as parts within cardinality constraints.
5.571 can have as visit address a is a conceptual address of a physical object that indicates members of the referring physical object with as name a visit address can reference members of the referred subtype of physical object that can have a role as receiver of visitors. For example, a house can be a visit address for visitors of a person.
5.518 can have by definition as auxiliary a is a conceptual auxiliary to an individual thing that indicates that members of the auxiliary subtype of individual thing are by definition supporting members of the supported subtype of individual thing. Typically the supported and the auxiliary are both parts of a bigger assembly or system.
4.787 can have in the first role a is a conceptual involvement in a relation that indicates that members of the class can play the first role in members of the subtype of relation.
4.841 can have in the second role a is a conceptual involvement in a relation that indicates that members of the class can play the second role in members of the subtype of relation.
5.280 can have on scale a value greater than is a conceptual quantification of a characteristic by a number that indicates that the subtype of quantitative property (a common property) has a magnitude that is greater than the value on a scale.
5.281 can have on scale a value less than is a conceptual quantification of a characteristic by a number that indicates that the subtype of quantitative property (a common property) has a magnitude that is less than the value on a scale.
1.370 can include a reference to a is a conceptual binary relation that constrains members of the referencer subtype of information to reference members of the referenced class.
1.912 can include as information is a conceptual binary relation that indicates that members of the class of information are implicit in members of the includer subtype of information.
5.369 can interact with a is a conceptual reference between physical objects that indicates that a referring physical object of a kind can interact with a referred physical object of a kind.
5.469 can interact with something with as aspect a is a conceptual relation between members of classes that indicates that members of the kind of physical object shall interact with a member of another kind of physical object that has an aspect of a particular kind.
4.648 can involve a is a conceptual relation between members of classes that indicates that members of the involved class can be involved in members of the involver class that is a subtype of occurrence.
4.652 can involve as tool a is a conceptual involvement as aid that indicates that members of the involved class have a role as tool in members of the conceptual occurrence.
1.529 can move along a is a conceptual binary relation that constrains members of the subtype of physical object to be moving along the members of the route class.
1.389 can occur after a is a conceptual binary relation that indicates that members of the predecessor class can happen before members of the successor class. The temporal predecessor class may be the same as the temporal successor class to indicate that occurrences of the same type may succeed each other.
5.339 can occur at a is a conceptual occurrence within period that indicates that a member of the occurred occurrence can take place within an occurrence date.
1.389 can occur before a is a conceptual binary relation that indicates that members of the predecessor class can happen before members of the successor class. The temporal predecessor class may be the same as the temporal successor class to indicate that occurrences of the same type may succeed each other.
4.927 can occur within a period of a is a conceptual location in time that indicates that an indicated occurrence will take, takes or took place or that an indicated object is involved in an occurrence that takes or took place within the indicated period.
4.787 can play the first role in a is a conceptual involvement in a relation that indicates that members of the class can play the first role in members of the subtype of relation.
4.841 can play the second role in a is a conceptual involvement in a relation that indicates that members of the class can play the second role in members of the subtype of relation.
1.415 can protect a is a conceptual binary relation that indicates that members of the protected subtype of physical object are protected by members of the protector subtype of physical object
1.715 can refer to a is a conceptual binary relation that indicates that the members of the referring subtype of physical object can contain information that references members of the referred subtype of physical object.
2.076 can require as role a is a conceptual relation between members of classes that indicates that members of the subtype of relation require a kind of role to be fulfilled.
1.808 can start at a is a conceptual correlation that indicates the period members begin at the time of the start time members.
1.809 can terminate at a is a conceptual correlation that indicates the end time members terminate one or more members of the period common period in time.
5.107 can terminate with a is a conceptual binary relation that indicates that members of the conceptually terminated occurrence are terminated by occurrences that are members of the conceptual terminating occurrence.
4.945 can together have a role as a is a conceptual possession of an aspect by an individual thing that indicates a capability to play a role, being that members of the subtype of individual thing can play a kind of role. Irrespect of whether they actually play such a role.
5.676 can under normal circumstances be correspondent to is a correspondence between qualitative aspects that indicates that the correlated qualitative aspect corresponds with the qualitative aspect when they qualify aspects of the same physical object when the physical object is in a normal state. Typically a normal state is equivalent to normal atmospheric conditions, being room temperature (20 degree C) and average atmospheric pressure at sea level (1013 mbar). For example, water corresponds under normal conditions with being in a liquid state.
1.724 can use as connection material a is a conceptual binary relation that specifies that a physical object of a kind can be used as connection material in a connection assembly of a kind.
5.170 can use as enabler a is a conceptual involvement in an occurrence that indicates that members of the involved subtype of object can enable to execute members of the subtype of occurrence.
5.689 can use as mechanism a is a conceptual involvement in an occurrence that indicates that members of the involved subtype of object can enable to execute members of the subtype of occurrence.
1.422 can use in segregation a is a conceptual binary relation that is a specialization of Usage of intermediate physical object for segregation that constrains the members of the using segregation class to be segregated by members
5.282 commonly has as possessed aspect a is a conceptual possession of a possessed aspect that indicates that each member of the possessor class possesses an aspect in a role of a kind that is specific for the possessor.
2.070 commonly has as qualitative aspect a is a conceptual possession of an aspect by an individual thing that indicates that each member of the possessor class possesses an aspect that is a member of the commonly possessed aspect.
5.675 corresponds with is a qualitative correlation between two qualitative aspects that indicates that the correlated qualitative aspect corresponds with the qualitative aspect when they qualify aspects of the same physical object. This means that if a physical object has an aspect that is qualified by the correlated qualitative aspect then it also has an aspect that is qualified by the corresponding qualitative aspect. For example, water corresponds with a molecular weight of 18. Thus if a batch of fluid is classified by substance as water, then the batch will have a molecular weight of 18. The inverse relation indicates a possibility.
5.347 denotes a subtype of is a conceptual possession of an aspect by an individual thing that indicates that a specialization of subtype is defined as a role of a subtype of a subtype of physical object. For example, bearing type is a role of a subtype of bearing, in a specialization relation in which bearing has a role as supertype. Note that the subtype may be a sub-sub-type or further subtype.
5.461 denotes a type of which a member is interacted upon by a is a conceptual interaction between physical objects that indicates that a referring physical object of a kind shall interact with a referred physical object of a kind.
5.463 denotes a type of which a member shall involve a is a conceptual relation between an individual thing and a class that indicates that members of the involved class are commonly involved in members of the involver conceptual occurrence.
5.459 denotes a type that shall classify a is a conceptual classification of an individual thing that indicates that the members of the classified class shall be classified by subtypes of the conceptual classifier class. The requirement is only valid in a specified validity context.
5.460 denotes a type that shall classify a part of a is a conceptual classification of a part of an individual thing that indicates that the members of the kind of thing shall have parts that shall be classified by subtypes of the conceptual classifying whole kind of thing. Typically the requirement is only valid in a specified validity context.
5.669 each of which is a qualification of is a constraining a collection of classes that indicates that each element of the constrained collection of classes is a subtype of the constraining class.
5.095 each of which is a specialization of is a relation between classes that indicates that each element of the constrained collection of classes is a subtype of the constraining class.
5.419 has a model as subtype that shall classify a part of a is a conceptual requirement for classification of a part of an individual thing that indicates that the members of the kind of thing shall have parts that shall be classified by models of the conceptual classifier kind of thing. Typically the requirement is only valid in a specified validity context.
5.421 has a model as subtype that shall classify a tool for a is a conceptual requirement for classification of a tool for an individual thing that indicates that the members of the kind of thing shall have tools that shall be classified by subtypes of the conceptual classifier kind of thing. Typically the requirement is only valid in a specified validity context.
4.994 has a subtype that shall classify a is a conceptual classification of an individual thing that indicates that the members of the classified class shall be classified by subtypes of the conceptual classifier class. The requirement is only valid in a specified validity context.
5.392 has a subtype that shall classify a part of a is a conceptual classification of a part of an individual thing that indicates that the members of the kind of thing shall have parts that shall be classified by subtypes of the conceptual classifying whole kind of thing. Typically the requirement is only valid in a specified validity context.
5.420 has a subtype that shall classify a tool for a is a conceptual requirement for classification of an individual thing that indicates that the members of the kind of thing shall have tools that shall be classified by subtypes of the conceptual classifier kind of thing. Typically the requirement is only valid in a specified validity context.
4.717 has as an intended function a is a conceptual playing of a role by an individual thing that indicates that members of the subtype of individual thing are intended to play a kind of role. Irrespect of whether they actually play such a role. Well formed members will be suitable to do so. Typically a design intent for a kind of object.
4.917 has as lower boundary is a qualitative bounding of an aspect that indicates that the common range of aspect is terminated at the lower end by the lower boundary.
1.773 has as mathematical boundary is a qualitative bounding of an aspect that indicates that the possessed mathematical space acts as a boundary or limit for the possessor mathematical space. A point may bound curves, surfaces and regions. A curve may bound surfaces and regions. A surface may bound a region. Etc.
4.838 has as qualitative boundary is a qualitative correlation that indicates that a member of the possessed class acts as a boundary to a member of the possessor class.
1.866 has as scale factor a is a conceptual involvement in a correlation that indicates that the dimensional factor is a component in a composed scale. For example a relation between a time scale and a velocity scale such as the relation between s and m/s, with an exponent -1.
4.918 has as upper boundary is a qualitative bounding of an aspect that indicates that the common range of aspect is terminated at the higher end by the upper boundary.
5.636 has by definition as being multiplied a is a conceptual multiplied relation that indicates that members of the multiplied class are multiplied in members of the subtype of function.
5.634 has by definition as denominator a is a conceptual denominator relation that indicates that members of the denominator class are commonly involved in members of the subtype of function.
5.635 has by definition as exponent a is a conceptual exponent relation that indicates that members of the exponent class are exponents in members of the subtype of function.
5.639 has by definition as exponentiation basis a is a conceptual base for exponentiation relation that indicates that members of the raised class are basis for exponentiation in members of the subtype of function.
5.637 has by definition as multiplier a is a conceptual multiplier relation that indicates that members of the multiplier class are multiplier in members of the subtype of function.
5.638 has by definition as numerator a is a conceptual numerator relation that indicates that members of the numerator class are numerator in members of the subtype of function.
5.317 has by definition as possible possessed aspect a is a conceptual possession of an aspect by an individual thing that indicates that a member of the possessor class can possess an aspect in a role of a kind that is specific for the possessor. Therefor, that kind of role is by definition possessed by such a possessor.
5.640 has by definition as product a is a conceptual product relation that indicates that members of the product class are commonly resulting from the multiplication of members of the operand classes.
5.641 has by definition as quotient a is a conceptual quotient relation that indicates the quotient class in a division function, as being the result of the division of members of the numerator class by members of the denominator class.
5.530 has by definition as subject a is a conceptual requirement for involvement as subject that specifies that a member of the involved class is by definition subject in a member of the conceptual occurrence.
5.026 has on scale a value greater than is a scale that indicates that the magnitude of the aspect is greater than a value on a scale or measurement system.
5.489 has on scale a value greater than or equal to is a scale that indicates that the magnitude of the aspect is greater than or equal to a value on a scale or measurement system.
5.027 has on scale a value less than is a scale that indicates that the magnitude of the aspect is less than a value on a scale or measurement system.
5.490 has on scale a value less than or equal to is a scale that indicates that the magnitude of the aspect is less than or equal to a value on a scale or measurement system.
5.468 has on scale a value within numeric range is a scale that indicates that the magnitude of the aspect is less than a value on a scale or measurement system.
5.652 has subtypes that have as discriminating aspect a is a conceptual possession of an aspect by an individual thing that indicates that subtypes of the possessor class have qualitative aspects that distinguish them from this possessor class (their supertype) and from their neighboring classes, which qualitative aspects are qualifications of the possessed conceptual aspect. For example, rose (flower) has subtypes that are distinguished by a colour. This says that there are subtypes, such as red rose, yellow rose, etc. are subtypes of rose and that are distinguished by being red, yellow, etc.
5.630 includes as information is a conceptual inclusion of information that indicates that qualitative information is included in other qualitative information.
5.631 includes information about a is a qualitative information about a concept that indicates that qualitative information includes information about the kind.
5.277 is a composed supertype of is a specialization of class that indicates that the superclass is a composite of classes and a member of the subclass is a member of either of the composing classes.
5.631 is a concept about which information is included in is a qualitative information about a concept that indicates that qualitative information includes information about the kind.
1.911 is a concept that is described by is a conceptual relation between classes that indicates that a member of the informer subtype of information can be information about the kind. Note that information is about a kind is not directly about its members.
4.984 is a constraint for a is a conceptual compliancy to a criterion that indicates that each member of the conceptual class is required to have a qualification relative to the common qualified aspect.
5.399 is a criterion that is satisfied by a is a conceptual compliancy to a criterion that indicates that all members of the class are by definition compliant with the qualitative requirement. Typically members of a kind of item, story or document that are compliant with a document content that consists of a specification for such a kind. The relation expresses that the kind is defined by the document.
5.527 is a defining aspect of a is a conceptual requirement for possession of an aspect that indicates that each member of the possessor class by definition possesses a member of the indicated possessed conceptual aspect that is qualified. For example: 'horizontal vessel' is defined by aspect 'orientation'. In a separate relation it shall be expressed that a horizontal vessel 'is by definition' horizontal.
5.403 is a definition location of a is a conceptual location relative to a physical object that indicates that members of a kind of thing are by definition located relative to a member of a kind of physical object. The kind of thing may be an aspect of a physical object that may be another thysical object than the latter physical object. For example, a temperature at an inlet classifies a temperature of a fluid that is measured at the location of an inlet.
5.652 is a discriminating aspect for subtypes of is a conceptual possession of an aspect by an individual thing that indicates that subtypes of the possessor class have qualitative aspects that distinguish them from this possessor class (their supertype) and from their neighboring classes, which qualitative aspects are qualifications of the possessed conceptual aspect. For example, rose (flower) has subtypes that are distinguished by a colour. This says that there are subtypes, such as red rose, yellow rose, etc. are subtypes of rose and that are distinguished by being red, yellow, etc.
4.731 is a first required role of a is a conceptual required role for members of a subtype of relation that indicates that the members of the subtype of relation require a kind of role to be fulfilled by a role possessor.
1.146 is a generalization of is a hierarchical relation between classes that indicates that the subtype class has more constrained criteria for membership than the supertype class; and each member of the subtype class is also a member of the supertype class.
5.095 is a generalization of each element of is a relation between classes that indicates that each element of the constrained collection of classes is a subtype of the constraining class.
1.224 is a kind of class of is a relation between classes of which each classifier member classifies a class. For example the class 'individual thing' or one of its subtypes can be classified as being a class.
5.103 is a kind of information required by a is a conceptual information about members of a class that indicates that members of the described class require members of the required information to be present. This is typically only valid in the specified context.
1.607 is a kind of state of a is a common involvement in a relation that indicates each member of the possessor class possesses members of the possessed subtype of state.
5.465 is a kind of whole for a part with as role a is a conceptual role of a part of a physical object that indicates a subtype of role which members are played by parts each of which is a part of the subtype of physical object.
5.396 is a model of is a qualification of a concept that indicates that a qualitative physical object is a qualification of a conceptual physical object. For example, model X-123 of a manufacturer is a qualification of pump. Note that further subtypes of qualitative physical objects shall have qualitative aspects, but further subtypes can be defined that are constrained by additional qualitative aspects. Those further subtypes have a specialization relation with their supertype qualitative physical object.
5.468 is a numeric range that on a scale includes is a scale that indicates that the magnitude of the aspect is less than a value on a scale or measurement system.
5.277 is a partial subtype of is a specialization of class that indicates that the superclass is a composite of classes and a member of the subclass is a member of either of the composing classes.
1.224 is a particular is a relation between classes of which each classifier member classifies a class. For example the class 'individual thing' or one of its subtypes can be classified as being a class.
1.726 is a qualification of is a specialization of class that indicates that a qualitative concept is a specialization of a conceptual concept. Typically a qualitative aspect, such as red or 37 deg C, being a qualification of a conceptual aspect, such as colour or temperature, but also a qualitative physical object, such as model X-123 of a manufacturer, being a qualification of a conceptual physical object, such as pump.
2.070 is a qualifying aspect of a is a conceptual possession of an aspect by an individual thing that indicates that each member of the possessor class possesses an aspect that is a member of the commonly possessed aspect.
4.838 is a qualitative boundary of a is a qualitative correlation that indicates that a member of the possessed class acts as a boundary to a member of the possessor class.
5.683 is a quantification on scale is a qualification of a concept that indicates that a quantification relation is a relation that uses a scale als mapping method to quantify an aspect by a mathematical space. Typically a property on a number, but possibly on a range or on a multi-dimensional space.
4.732 is a required role of a is a conceptual playing of a role by an individual thing that indicates that the members of the subtype of relation require a kind of role to be fulfilled by a role possessor.
1.866 is a scale factor in is a conceptual involvement in a correlation that indicates that the dimensional factor is a component in a composed scale. For example a relation between a time scale and a velocity scale such as the relation between s and m/s, with an exponent -1.
4.733 is a second required role of a is a conceptual required role for members of a subtype of relation that indicates that the members of the subtype of relation require a kind of role to be fulfilled by a role possessor.
1.146 is a specialization of is a hierarchical relation between classes that indicates that the subtype class has more constrained criteria for membership than the supertype class; and each member of the subtype class is also a member of the supertype class.
5.398 is a specification for a is a conceptual requirement for compliancy to a criterion that indicates that a member of the class shall be conformant to a qualitative requirement. Typically an item, story or document of a kind that should be conform to the content of a document.
1.920 is a uniqueness context for a is a conceptual context for applicability of fact that indicates the uniqueness context object that is a context in which the members of the referenced subtype of reference aspect are assigned to one object.
5.027 is a value that is on a scale greater than is a scale that indicates that the magnitude of the aspect is less than a value on a scale or measurement system.
5.490 is a value that is on a scale greater than or equal to is a scale that indicates that the magnitude of the aspect is less than or equal to a value on a scale or measurement system.
5.026 is a value that is on a scale less than is a scale that indicates that the magnitude of the aspect is greater than a value on a scale or measurement system.
5.489 is a value that is on a scale less than or equal to is a scale that indicates that the magnitude of the aspect is greater than or equal to a value on a scale or measurement system.
5.651 is an intended kind of additional function for a is a conceptual function for a physical object that indicates that physical objects of the kind are intended to be suitable to perform activities of the kind next to the main function for which they are designed. Irrespect of whether they actually perform such activities. Well formed objects will be suitable to do so. Typically a design intent for a kind of object.
5.536 is an intended kind of function for a is a conceptual involvement as mechanism that indicates that physical objects of the kind are intended to be suitable to perform or enable activities of the kind. Irrespect of whether they actually perform or enable such activities. Well formed objects will be suitable to do so. Typically a design intent for a kind of object.
4.717 is an intended kind of function of a is a conceptual playing of a role by an individual thing that indicates that members of the subtype of individual thing are intended to play a kind of role. Irrespect of whether they actually play such a role. Well formed members will be suitable to do so. Typically a design intent for a kind of object.
5.515 is by definition a carrier of information about a is a conceptual carrier of information about an individual thing that indicates that members of the subtype of information carrier by definition contain information about the members of the class. Typically a kind of physical file that contain informtion about a kind of object.
5.648 is by definition a maximum qualification of a is a common maximum requirement for qualification of an aspect that indicates that each member of the kind of possessed aspect, is qualified by the qualitative aspect. The aspect that is possessed shall have a role of a kind that is specific for the possessor kind of object.
5.649 is by definition a minimum qualification of a is a common maximum requirement for qualification of an aspect that indicates that each member of the kind of possessed aspect, is qualified by the qualitative aspect. The aspect that is possessed shall have a role of a kind that is specific for the possessor kind of object.
5.355 is by definition a possessed aspect experienced by a is a conceptual experience of an aspect by an individual thing that indicates that a member of the possessor class can possess an aspect in a role of a kind that is specific for the possessor. Therefor, that kind of role is by definition possessed by such a possessor.
5.317 is by definition a possessed aspect of a is a conceptual possession of an aspect by an individual thing that indicates that a member of the possessor class can possess an aspect in a role of a kind that is specific for the possessor. Therefor, that kind of role is by definition possessed by such a possessor.
5.519 is by definition a possible part of a is a conceptual assembly of an individual thing that indicates that a member of the conceptual assembly has by definition a part, or the possibility for a part, that is a member of the conceptual part class within the specified cardinality constraints. Note that a cardinality constraint may indicate that such a part is still optional, which then indicates that the whole is defined by the fact that it has the possibility to have such a part as part.
5.343 is by definition a possible role of a is a conceptual playing of a role by an individual thing that indicates that members of a subtype of possessed aspect (role) are by definition a role of a particular kind of aspect. For example a pipe diameter is by definition a possible role of a diameter.
5.283 is by definition a qualification of a is a common equality requirement for qualification of an aspect that indicates that each member of the kind of possessed aspect, is qualified by the qualitative aspect. The aspect that is possessed shall have a role of a kind that is specific for the possessor kind of object. For example: (each) diameter of an M6 bolt <is by definition qualified as> 6 mm.
5.621 is by definition a reference to a is a conceptual reference between physical objects that indicates that the members of the referring subtype of physical object can contain information that references members of the referred subtype of physical object.
5.622 is by definition a representer of a is a conceptual representation that indicates that a members of a kind object can be represented by members of another kind of object.
5.465 is by definition a role of a part of a is a conceptual role of a part of a physical object that indicates a subtype of role which members are played by parts each of which is a part of the subtype of physical object.
5.531 is by definition a role of a performer of a is a conceptual requirement for involvement as performer that specifies that a member of the involved kind of physical object is by definition a performer of a member of the performed kind of occurrence.
5.425 is by definition a role of someone who performs an activity on a is a conceptual involvement in an occurrence where members of the involved class are subject in members of the conceptual occurrence.
5.480 is by definition a role of something that is acted upon by a is a conceptual requirement for interaction with a physical object with a particular aspect that indicates that members of the kind of physical object shall interact with a member of another kind of physical object that has an aspect of a particular kind.
5.532 is by definition a role of something that is involved in an activity regarding a is a conceptual requirement for a player of a role in an activity on a physical object where members of the involved class are subject in members of the conceptual occurrence.
5.642 is by definition a scale for a is a conceptual quantification of a characteristic on a scale that indicates that the members of qualified characteristics of the kind are defined as being quantifiable on the scale.
5.530 is by definition a subject in a is a conceptual requirement for involvement as subject that specifies that a member of the involved class is by definition subject in a member of the conceptual occurrence.
5.519 is by definition a whole for a is a conceptual assembly of an individual thing that indicates that a member of the conceptual assembly has by definition a part, or the possibility for a part, that is a member of the conceptual part class within the specified cardinality constraints. Note that a cardinality constraint may indicate that such a part is still optional, which then indicates that the whole is defined by the fact that it has the possibility to have such a part as part.
1.891 is by definition adjacent after is a conceptual sequency relation that indicates that members of the adjoint before class are adjacent to members of the adjoint after class in some common spatial aspect.
1.891 is by definition adjacent before is a conceptual sequency relation that indicates that members of the adjoint before class are adjacent to members of the adjoint after class in some common spatial aspect.
5.518 is by definition an auxiliary of a is a conceptual auxiliary to an individual thing that indicates that members of the auxiliary subtype of individual thing are by definition supporting members of the supported subtype of individual thing. Typically the supported and the auxiliary are both parts of a bigger assembly or system.
5.399 is by definition compliant with is a conceptual compliancy to a criterion that indicates that all members of the class are by definition compliant with the qualitative requirement. Typically members of a kind of item, story or document that are compliant with a document content that consists of a specification for such a kind. The relation expresses that the kind is defined by the document.
1.607 is by definition in state is a common involvement in a relation that indicates each member of the possessor class possesses members of the possessed subtype of state.
5.620 is by definition information about a is a conceptual information about members of a class that indicates that the qualitative describing information is information about members of the described class.
5.403 is by definition located at a is a conceptual location relative to a physical object that indicates that members of a kind of thing are by definition located relative to a member of a kind of physical object. The kind of thing may be an aspect of a physical object that may be another thysical object than the latter physical object. For example, a temperature at an inlet classifies a temperature of a fluid that is measured at the location of an inlet.
5.270 is by definition made of is a common possession of an aspect that indicates that each member of the possessor class possesses members of the possessed subtype of material of construction.
5.531 is by definition possibly performed by a player of a is a conceptual requirement for involvement as performer that specifies that a member of the involved kind of physical object is by definition a performer of a member of the performed kind of occurrence.
5.283 is by definition qualified as is a common equality requirement for qualification of an aspect that indicates that each member of the kind of possessed aspect, is qualified by the qualitative aspect. The aspect that is possessed shall have a role of a kind that is specific for the possessor kind of object. For example: (each) diameter of an M6 bolt <is by definition qualified as> 6 mm.
5.649 is by definition qualified as at least is a common maximum requirement for qualification of an aspect that indicates that each member of the kind of possessed aspect, is qualified by the qualitative aspect. The aspect that is possessed shall have a role of a kind that is specific for the possessor kind of object.
5.648 is by definition qualified as at most is a common maximum requirement for qualification of an aspect that indicates that each member of the kind of possessed aspect, is qualified by the qualitative aspect. The aspect that is possessed shall have a role of a kind that is specific for the possessor kind of object.
5.532 is by definition related to something that is its is a conceptual requirement for a player of a role in an activity on a physical object where members of the involved class are subject in members of the conceptual occurrence.
5.425 is by definition subject to an activity that requires as role a is a conceptual involvement in an occurrence where members of the involved class are subject in members of the conceptual occurrence.
5.229 is capable to have a role as a is a conceptual possession of an aspect by an individual thing that indicates that the subtype of individual thing or its subtypes can play a kind of role in a conceptual relation to express that members of those subtypes have a capability.
5.229 is conceptually a role of is a conceptual possession of an aspect by an individual thing that indicates that the subtype of individual thing or its subtypes can play a kind of role in a conceptual relation to express that members of those subtypes have a capability.
5.675 is correspondent to is a qualitative correlation between two qualitative aspects that indicates that the correlated qualitative aspect corresponds with the qualitative aspect when they qualify aspects of the same physical object. This means that if a physical object has an aspect that is qualified by the correlated qualitative aspect then it also has an aspect that is qualified by the corresponding qualitative aspect. For example, water corresponds with a molecular weight of 18. Thus if a batch of fluid is classified by substance as water, then the batch will have a molecular weight of 18. The inverse relation indicates a possibility.
5.634 is defined as a denominator in a is a conceptual denominator relation that indicates that members of the denominator class are commonly involved in members of the subtype of function.
5.638 is defined as a numerator in a is a conceptual numerator relation that indicates that members of the numerator class are numerator in members of the subtype of function.
5.466 is defined as a possessed aspect of something that is interacted upon by a is a conceptual requirement for interaction with a physical object with a particular aspect that indicates that members of the kind of physical object shall interact with a member of another kind of physical object that has an aspect of a particular kind.
5.370 is defined as an aspect of something that is interacted upon by a is a conceptual relation between members of classes that indicates that members of the kind of physical object shall interact with a member of another kind of physical object that has an aspect of a particular kind.
5.635 is defined as an exponent in a is a conceptual exponent relation that indicates that members of the exponent class are exponents in members of the subtype of function.
5.639 is defined as being exponentiated in a is a conceptual base for exponentiation relation that indicates that members of the raised class are basis for exponentiation in members of the subtype of function.
5.642 is defined as being quantifiable on scale is a conceptual quantification of a characteristic on a scale that indicates that the members of qualified characteristics of the kind are defined as being quantifiable on the scale.
5.640 is defined as being the product in a is a conceptual product relation that indicates that members of the product class are commonly resulting from the multiplication of members of the operand classes.
5.641 is defined as being the quotient in a is a conceptual quotient relation that indicates the quotient class in a division function, as being the result of the division of members of the numerator class by members of the denominator class.
5.402 is defined by elements each of which is a is a conceptual relation between members of classes that defines that members of a plural kind of thing consists of elements each of which is a member of the kind of thing.
5.527 is defined by possessing as aspect a is a conceptual requirement for possession of an aspect that indicates that each member of the possessor class by definition possesses a member of the indicated possessed conceptual aspect that is qualified. For example: 'horizontal vessel' is defined by aspect 'orientation'. In a separate relation it shall be expressed that a horizontal vessel 'is by definition' horizontal.
5.343 is defined to have a possible role as a is a conceptual playing of a role by an individual thing that indicates that members of a subtype of possessed aspect (role) are by definition a role of a particular kind of aspect. For example a pipe diameter is by definition a possible role of a diameter.
5.347 is defined to have a subtype with as role a is a conceptual possession of an aspect by an individual thing that indicates that a specialization of subtype is defined as a role of a subtype of a subtype of physical object. For example, bearing type is a role of a subtype of bearing, in a specialization relation in which bearing has a role as supertype. Note that the subtype may be a sub-sub-type or further subtype.
5.637 is definied as being a multiplier in a is a conceptual multiplier relation that indicates that members of the multiplier class are multiplier in members of the subtype of function.
5.636 is definied as being multiplied in a is a conceptual multiplied relation that indicates that members of the multiplied class are multiplied in members of the subtype of function.
5.052 is hierarchically arranged above is a relation between classes that indicates that a related class may not appear twice in a chain of related classes.
5.052 is hierarchically arranged under is a relation between classes that indicates that a related class may not appear twice in a chain of related classes.
1.911 is information about a is a conceptual relation between classes that indicates that a member of the informer subtype of information can be information about the kind. Note that information is about a kind is not directly about its members.
5.630 is information that is included in is a conceptual inclusion of information that indicates that qualitative information is included in other qualitative information.
5.651 is intended to be additionally suitable for is a conceptual function for a physical object that indicates that physical objects of the kind are intended to be suitable to perform activities of the kind next to the main function for which they are designed. Irrespect of whether they actually perform such activities. Well formed objects will be suitable to do so. Typically a design intent for a kind of object.
5.536 is intended to be suitable for is a conceptual involvement as mechanism that indicates that physical objects of the kind are intended to be suitable to perform or enable activities of the kind. Irrespect of whether they actually perform or enable such activities. Well formed objects will be suitable to do so. Typically a design intent for a kind of object.
4.917 is lower boundary of is a qualitative bounding of an aspect that indicates that the common range of aspect is terminated at the lower end by the lower boundary.
5.270 is material of construction of a is a common possession of an aspect that indicates that each member of the possessor class possesses members of the possessed subtype of material of construction.
1.773 is mathematical boundary of is a qualitative bounding of an aspect that indicates that the possessed mathematical space acts as a boundary or limit for the possessor mathematical space. A point may bound curves, surfaces and regions. A curve may bound surfaces and regions. A surface may bound a region. Etc.
5.025 is on a scale the value of is a scale that indicates that the magnitude of the aspect is equal to a value on a scale or measurement system.
5.483 is the accuracy for mapping to scale of is a scale that indicates that the magnitude of the aspect is equal to a value on a scale or measurement system with the specified accuracy. Typically defined by two tolerances around a pivot value.
1.726 is the nature of is a specialization of class that indicates that a qualitative concept is a specialization of a conceptual concept. Typically a qualitative aspect, such as red or 37 deg C, being a qualification of a conceptual aspect, such as colour or temperature, but also a qualitative physical object, such as model X-123 of a manufacturer, being a qualification of a conceptual physical object, such as pump.
5.669 is the nature of each element of is a constraining a collection of classes that indicates that each element of the constrained collection of classes is a subtype of the constraining class.
5.396 is the nature of model is a qualification of a concept that indicates that a qualitative physical object is a qualification of a conceptual physical object. For example, model X-123 of a manufacturer is a qualification of pump. Note that further subtypes of qualitative physical objects shall have qualitative aspects, but further subtypes can be defined that are constrained by additional qualitative aspects. Those further subtypes have a specialization relation with their supertype qualitative physical object.
5.683 is the scale for quantification is a qualification of a concept that indicates that a quantification relation is a relation that uses a scale als mapping method to quantify an aspect by a mathematical space. Typically a property on a number, but possibly on a range or on a multi-dimensional space.
5.676 is under normal circumstances is a correspondence between qualitative aspects that indicates that the correlated qualitative aspect corresponds with the qualitative aspect when they qualify aspects of the same physical object when the physical object is in a normal state. Typically a normal state is equivalent to normal atmospheric conditions, being room temperature (20 degree C) and average atmospheric pressure at sea level (1013 mbar). For example, water corresponds under normal conditions with being in a liquid state.

= Appendix A - part 3B: List of types of relations between kinds of things (continued 2) = Continue with: [wiki:“Appendix A - part 3B: List of types of relations between kinds of things (continued 2)”]br Return to: [wiki:“WikiStart”]