E21 Person in Version 6.1
Superclass of: No superclasses found
This class comprises real persons who live or are assumed to have lived.
Legendary figures that may have existed, such as Ulysses and King Arthur, fall into this class if the documentation refers to them as historical figures. In cases where doubt exists as to whether several persons are in fact identical, multiple instances can be created and linked to indicate their relationship. The CRM does not propose a specific form to support reasoning about possible identity.
- Nelson Mandela
In First Order Logic:
E21(x) ⊃ E20(x), E21(x) ⊃ E39(x)