SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > Organism > Animal > Vertebrate > WarmBloodedVertebrate > Mammal > Primate > Human
Next CognitiveAgent: OrganizationUnit    Up: CognitiveAgent, Primate    Previous CognitiveAgent: PersonBySocialRole   

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