This relation defines the star's equivalent blackbody, or effective, temperature.
This relation defines temporal domain of group delay where is arrival time of the wavefront.
This relation defines a space included between formal and informal that is fluid and ambiguous, characterised by processes that are difficult to decode, map or subdivide (Mehrotra 2008).
This relation defines the disproportionate feature of the KI value over the k2 value.
Thus this relation defines equivalence classes on the set of k-cliques, i.e., there are unique maximal subsets of k-cliques that are all k-clique-connected to each other.
The likelihood ratio feature LR is obtained with the relation defined in (7).
However, the relation defined by (1) is not a partial order on X since η is not subadditive.
For example, the relation defined on 'discharge' and 'postoperative day 3' in (1) has type Simultaneous, whereas the relation defined on 'complained' and 'fever' in (2) has type Overlap_After.
A relation defined in this way in a structure A is called a first-order definable relation in A. A useful generalisation is to allow the defining formula to use added names for some specific elements of A; these elements are called parameters and the relation is then definable with parameters.
This ontology also includes one (primitive) relation defined
