UnemployedPerson Comparison Table

UnemployedPerson comparison table

Subject documentation is a kind of have axiom

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

UnemployedPerson The Class of all CognitiveAgents who are unemployed PersonByOccupationalRole
(=>
(instance ?PERSON UnemployedPerson)
(not
(exists (?ORG)
(employs ?ORG ?PERSON))))

Subject	documentation	is a kind of	have axiom
PersonByOccupationalRole	The Class of all CognitiveAgents who are considered with respect to an occupational role that they have	PersonBySocialRole	(=> (instance ?PERSON PersonByOccupationalRole) (exists (?ACT) (and (instance ?ACT OccupationalProcess) (agent ?ACT ?PERSON))))
UnemployedPerson	The Class of all CognitiveAgents who are unemployed	PersonByOccupationalRole	(=> (instance ?PERSON UnemployedPerson) (not (exists (?ORG) (employs ?ORG ?PERSON))))