Sentence examples for individual assertions from inspiring English sources

The first part contains individual assertions, called the ABox, while the second part contains terminological axioms, called the TBox.

(mathcal {A}) is a finite set, called the ABox (assertion box) of (mathcal {KB}), consisting of individual assertions.

It is a model of an ABox (mathcal {A}), denoted by (mathcal {I}models mathcal {A}), if it satisfies all the individual assertions of (mathcal {A}).

However, it is perfectly possible to see some candidate norms as ideals, while the evaluations of individual assertions may take into account various relations between the assertion and the norm over and above conformity.

This suggests that despite the quotability of individual assertions in the Meditations, we should approach them by studying their 'therapeutic' context, that is, by asking: what psychological effect(s) is Marcus trying to achieve by saying this?

One can allow ABoxes to contain individual assertions of the form (a = b), where (a,b in Sigma _I), with the semantics that an interpretation (mathcal {I}) satisfies (a = b) if (a^mathcal {I}= b^mathcal {I}).

An individual assertion in (mathcal {L}_{Sigma,Phi }) is of the form (A(a)), ((B = c)(a)), (r a,b)) or (sigma (a,d)), where (a,b in Sigma _I), (A in Sigma _C), (B in Sigma _A!setminus !Sigma _C), (c in range (B)), (r in Sigma _{oR}), (sigma in Sigma _{dR}) and (d in range (sigma )).

Marriage is so to speak the social and normal framework of the human story - adultery is the great act of individual self-assertion and longing.

A spokesperson from the University of Warwick says: "Perhaps the individual [making the assertion] hasn't understood the wealth of free counselling available.

The assertion of individual freedom is a form of political action.

For Mr. Poirier the act of writing — in particular the tradition of American writing that ran from Ralph Waldo Emerson to Wallace Stevens — was an assertion of individual power.