- AKA: Legal Person.
- They can Communicate with another person.
- They can be a Linguistic Agent produce Linguistic Expressions within a Natural Language.
- They can perform Common Sense Reasoning and Rational Reasoning.
- They can have a Person Name (with First Name, Middle Name, Last Name, etc.)
- They can have an Occupation, such as Political Leader, Judge, Scientist, Cook.
- They can be a Subject Matter Expert with a certain Ability in some Domain.
- They can have a Face, Fingerprint, etc.
- They can have an Occupation.
- They can be citizens of a Country.
- They can be members of an Ethnic Group.
- They can (typically) express/feel Emotions.
- They can be in a Social Relationship (with another person), such as a Friendship Relationship.
- They can be in an Institional Relationship (with an organization), such as a Person Organization Relationship.
- They can range from being an Extraverted Person to being an Introverted Person.
- They can range from being a Modest Person to being a Narcissistic Person.
- They can be a Learning System.
- They can perform Physical Exercise and Physical Stretching.
- They can be In:
- They can:
- They can have a Role, such as Parent, Citizen, Employee, Customer.
- They can be referenced by a Person Referencer.
- See: Knowledge, Memory.
- QUOTE: Finally we arrive at people. The theories of Part C are intended to some extent to apply to other kinds of agents than just people, such as robots and organizations, and some aspects of the cognitive theories, such as goals, plans, and beliefs, we would expect to find in any cognitive agent in some form. But many aspects are idiosyncratic to people -- accidents of evolution, in a sense. For example, there is probably no reason a robot or an organization should be thought of as having emotions. In Part C, when we are talking about aspects of cognition that apply to all cognitive agents, we will call the agent simply an "agent". When we are talking about particularities of people, we will condition the axioms on the relevant arguments being persons.
- A person is a kind of agent.
(1) (forall (p) (if (person p)(agent p)))
- A person is also a kind of physical object.
(2) (forall (p) (if (person p)(physobj p)))
- A person has a body and a mind.
(3) (forall (p) (if (person p) (exists (b m)(and (body b p)(mind m p)))))