SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > SentientAgent > CognitiveAgent > PersonBySocialRole > PersonByOccupationalRole > UnemployedPerson
Up: PersonByOccupationalRole

UnemployedPerson
subjectfact 
UnemployedPersondocumentation The Class of all CognitiveAgents who are unemployed2001-11-30 13:35:30.0
has axiom 
(=>
    (instance ?PERSON UnemployedPerson)
    (not
       (exists (?ORG)
          (employs ?ORG ?PERSON))))
2001-11-30 13:35:30.0
is a kind of PersonByOccupationalRole2001-11-30 13:35:30.0
CognitiveAgentis first domain of occupiesPosition2001-11-30 13:33:51.0
is second domain of employs2001-11-30 13:33:51.0
Agentis third domain of hasPurposeForAgent2001-11-30 13:33:35.0
is third domain of representsForAgent2001-11-30 13:33:35.0
Objectis disjoint from Process2001-11-30 13:34:50.0