SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > Organism > Animal > Vertebrate > WarmBloodedVertebrate > Mammal > Primate > Human
Next CognitiveAgentOrganizationUnit    UpCognitiveAgent, Primate    Previous CognitiveAgentPersonBySocialRole   

Human
subjectfact 
Humandocumentation Modern man, the only remaining species of the Homo genus2001-11-30 13:34:26.0
has axiom
(=> 
(and
(instance ?GROUP GroupOfPeople)
(member ?MEMB ?GROUP))
(instance ?MEMB Human))
2001-11-30 13:34:26.0
has axiom
(=>
(instance ?BUILDING Building)
(exists (?HUMAN)
(and
(instance ?HUMAN Human)
(or
(inhabits ?HUMAN ?BUILDING)
(exists (?ACT)
(and
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING)))))))
2001-11-30 13:34:26.0
is first domain of citizen2001-11-30 13:34:26.0
is a kind of CognitiveAgent2001-11-30 13:34:27.0
is a kind of Primate2001-11-30 13:34:27.0
CognitiveAgentis 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
WarmBloodedVertebrateis disjoint from ColdBloodedVertebrate2001-11-30 13:35:33.0