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

AgeGroup 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))
AgeGroupA GroupOfPeople whose members all have the same ageGroupOfPeople
(=> 
    (instance ?GROUP AgeGroup) 
    (forall (?MEMB1 ?MEMB2 ?AGE1 ?AGE2) 
       (=> 
          (and 
             (member ?MEMB1 ?GROUP) 
             (member ?MEMB2 ?GROUP) 
             (age ?MEMB1 ?AGE1) 
             (age ?MEMB2 ?AGE2)) 
          (equal ?AGE1 ?AGE2))))

Next GroupOfPeople: EthnicGroup    Up: GroupOfPeople    Previous GroupOfPeople: Organization