AgeGroup concept from the SUMO knowledge base

Next GroupOfPeople: EthnicGroup Up: GroupOfPeople Previous GroupOfPeople: Organization

Next GroupOfPeople: EthnicGroup Up: GroupOfPeople Previous GroupOfPeople: Organization

AgeGroup	*documentation* A GroupOfPeople whose members all have the same age
	has axiom (=> (instance ?GROUP AgeGroup) (forall (?MEMB1 ?MEMB2 ?AGE1 ?AGE2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP) (age ?MEMB1 ?AGE1) (age ?MEMB2 ?AGE2)) (equal ?AGE1 ?AGE2))))
	is a kind of GroupOfPeople
Agent	*is first domain* of** authors
	*is first domain* of** believes
	*is first domain* of** considers
	*is first domain* of** desires
	*is first domain* of** inScopeOfInterest
	*is first domain* of** knows
	*is first domain* of** needs
	*is first domain* of** possesses
	*is first domain* of** PropertyFn
	*is first domain* of** wants
	*is first domain* of** WealthFn
	*is second domain* of** agent
	*is second domain* of** experiencer
	*is second domain* of** exploits
	*is second domain* of** hasSkill
	*is second domain* of** holdsObligation
	*is second domain* of** holdsRight
	*is second domain* of** uses
	*is third domain* of** hasPurposeForAgent
	*is third domain* of** representsForAgent
Collection	*is first domain* of** subCollection
	*is second domain* of** member
	*is second domain* of** subCollection
Object	*is disjoint* from** Process