PersonBySocialRole Comparison Table

Next CognitiveAgent: Human Up: CognitiveAgent Previous CognitiveAgent: OrganizationUnit

PersonBySocialRole comparison table

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

PersonByOccupationalRole representsForAgent The Class of all CognitiveAgents who are considered with respect to an occupational role that they have Process PersonBySocialRole employs occupiesPosition
(=>
(instance ?PERSON PersonByOccupationalRole)
(exists (?ACT)
(and
(instance ?ACT OccupationalProcess)
(agent ?ACT ?PERSON))))

Subject	be third domain of	documentation	be disjoint from	is a kind of	be second domain of	be first domain of	have axiom
PersonByOccupationalRole	representsForAgent	The Class of all CognitiveAgents who are considered with respect to an occupational role that they have	Process	PersonBySocialRole	employs	occupiesPosition	(=> (instance ?PERSON PersonByOccupationalRole) (exists (?ACT) (and (instance ?ACT OccupationalProcess) (agent ?ACT ?PERSON))))

Next CognitiveAgent: Human Up: CognitiveAgent Previous CognitiveAgent: OrganizationUnit