SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > Group > GroupOfPeople > FamilyGroup
Next GroupOfPeople: Organization    Up: GroupOfPeople    Previous GroupOfPeople: EthnicGroup   

FamilyGroup comparison table
Subject documentation is a kind of have axiom
GroupOfPeopleA Group consisting exclusively of HumansGroup
(=> 
    (and 
       (instance ?GROUP GroupOfPeople) 
       (member ?MEMB ?GROUP)) 
    (instance ?MEMB Human))
FamilyGroupA GroupOfPeople whose members bear familyRelations to one anotherGroupOfPeople
(=> 
    (instance ?GROUP FamilyGroup) 
    (forall (?MEMB1 ?MEMB2) 
       (=> 
          (and 
             (member ?MEMB1 ?GROUP) 
             (member ?MEMB2 ?GROUP)) 
          (familyRelation ?MEMB1 ?MEMB2))))

Next GroupOfPeople: Organization    Up: GroupOfPeople    Previous GroupOfPeople: EthnicGroup