Assertion: unary predicate | /r/CapableOf | partition the domain of discourse
Facets:
Source sentences:
text: One introduces into the single-sorted theory a unary predicate symbol for each sort in the many-sorted theory, and adds an axiom saying that these unary predicates partition the domain of discourse.