CognitiveAgent Comparison Table

CognitiveAgent comparison table

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

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

OrganizationUnit An Organization or a functional unit within an Organization, e.g. positions, divisions, and departments. For example, the Shell Corporation, the accounting department at Shell, the positions of CEO and mail room supervisor at Shell, etc. would all be instances of OrganizationUnit. The continued existence of an OrganizationUnit is not dependent on any of its members, its location, or its particular facility. Note that, unlike its subclass Organization, an OrganizationUnit may have no members or just one member Process CognitiveAgent occupiesPosition
(=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))

PersonBySocialRole The Class of all CognitiveAgents who are considered with respect to a social role that they have Process CognitiveAgent occupiesPosition
(=>
(instance ?PERSON PersonBySocialRole)
(exists (?ACT)
(and
(instance ?ACT OrganizationalProcess)
(agent ?ACT ?PERSON))))

Subject	documentation	be disjoint from	is a kind of	be first domain of	have axiom
Human	Modern man, the only remaining species of the Homo genus	ColdBloodedVertebrate	Primate	citizen	(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))
OrganizationUnit	An Organization or a functional unit within an Organization, e.g. positions, divisions, and departments. For example, the Shell Corporation, the accounting department at Shell, the positions of CEO and mail room supervisor at Shell, etc. would all be instances of OrganizationUnit. The continued existence of an OrganizationUnit is not dependent on any of its members, its location, or its particular facility. Note that, unlike its subclass Organization, an OrganizationUnit may have no members or just one member	Process	CognitiveAgent	occupiesPosition	(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))
PersonBySocialRole	The Class of all CognitiveAgents who are considered with respect to a social role that they have	Process	CognitiveAgent	occupiesPosition	(=> (instance ?PERSON PersonBySocialRole) (exists (?ACT) (and (instance ?ACT OrganizationalProcess) (agent ?ACT ?PERSON))))