Human Comparison Table

Next CognitiveAgent: OrganizationUnit Up: CognitiveAgent, Primate Previous CognitiveAgent: PersonBySocialRole

Human comparison table

Subject documentation be disjoint from is a kind of be second domain of be first domain of have axiom

CognitiveAgent A SentientAgent with responsibilities and the ability to reason, deliberate, make plans, etc. This is essentially the legal/ethical notion of a person. Note that, although Human is a subclass of CognitiveAgent, there may be instances of CognitiveAgent which are not also instances of Human. For example, chimpanzees, gorillas, dolphins, whales, and some extraterrestrials (if they exist) may be CognitiveAgents Process SentientAgent employs occupiesPosition
(=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))

Primate The Class of Mammals which are Primates ColdBloodedVertebrate Mammal parent mother
(=>
(instance ?VERT Vertebrate)
(exists (?SPINE)
(and
(component ?SPINE ?VERT)
(instance ?SPINE SpinalColumn))))

Human Modern man, the only remaining species of the Homo genus ColdBloodedVertebrate Primate employs citizen
(=>
(instance ?BUILDING Building)
(exists (?HUMAN)
(and
(instance ?HUMAN Human)
(or
(inhabits ?HUMAN ?BUILDING)
(exists (?ACT)
(and
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING)))))))

Subject	documentation	be disjoint from	is a kind of	be second domain of	be first domain of	have axiom
CognitiveAgent	A SentientAgent with responsibilities and the ability to reason, deliberate, make plans, etc. This is essentially the legal/ethical notion of a person. Note that, although Human is a subclass of CognitiveAgent, there may be instances of CognitiveAgent which are not also instances of Human. For example, chimpanzees, gorillas, dolphins, whales, and some extraterrestrials (if they exist) may be CognitiveAgents	Process	SentientAgent	employs	occupiesPosition	(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))
Primate	The Class of Mammals which are Primates	ColdBloodedVertebrate	Mammal	parent	mother	(=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn))))
Human	Modern man, the only remaining species of the Homo genus	ColdBloodedVertebrate	Primate	employs	citizen	(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))

Next CognitiveAgent: OrganizationUnit Up: CognitiveAgent, Primate Previous CognitiveAgent: PersonBySocialRole