===== 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"]