rodinná skupina (FamilyGroup)

A Group whose members bear familyRelations to one another.

Ontologie

SUMO / OBJECTS

Nadtřída(y)

entita

fyzický objekt

objekt

kolekce

entita

fyzický objekt

objekt

původce

skupina

rodinná skupina

Související termín(y)

věková skupina etnická skupina organizace

Related WordNet synsets

kin, kin group, kinship group, kindred, clan, tribe: group of people related by blood or marriage

See more related synsets on a separate page.

Axiomy (1)

jestliže group je instancí třídy rodinná skupina,
potom pro všechny memb1,memb2 platí: jestliže memb1 je a členem group a memb2 je a členem group, potom family relation(memb1,memb2) platí

(=>
      (instance ?GROUP FamilyGroup)
      (forall
            (?MEMB1 ?MEMB2)
            (=>
                  (and
                        (member ?MEMB1 ?GROUP)
                        (member ?MEMB2 ?GROUP))
                  (familyRelation ?MEMB1 ?MEMB2))))