FamilyGroup concept from the SUMO knowledge base

Next GroupOfPeople: Organization Up: GroupOfPeople Previous GroupOfPeople: EthnicGroup

Next GroupOfPeople: Organization Up: GroupOfPeople Previous GroupOfPeople: EthnicGroup

FamilyGroup	*documentation* A GroupOfPeople whose members bear familyRelations to one another
	has axiom (=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2))))
	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