PersonByOccupationalRole Comparison Table

PersonByOccupationalRole 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

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

Subject	be third domain of	documentation	be disjoint from	is a kind of	be second domain of	be first domain of	have axiom
UnemployedPerson	representsForAgent	The Class of all CognitiveAgents who are unemployed	Process	PersonByOccupationalRole	employs	occupiesPosition	(=> (instance ?PERSON UnemployedPerson) (not (exists (?ORG) (employs ?ORG ?PERSON))))