Or-something-else

Or-something-else refers to the disjoint concept statement that starts with Anything keyword. This statement allows to enumerate pairwise disjoint concepts.

Examples

The example shows how to use the keyword.

Example: The concepts of cat, dog and human are pairwise disjoint. However, there may exist individuals that are none of them.
Anything either is a cat or is a dog or is a human or-something-else.