Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - FamilyGroup
FamilyGroup(family group)
Bourbon, Bourbon_dynasty, Bronte_sisters, Capetian, Capetian_dynasty, Carlovingian, Carlovingian_dynasty, Carolingian, Carolingian_dynasty, Ch'in, Ch'in_dynasty, Ch'ing, Ch'ing_dynasty, Chou, Chou_dynasty, Chow, Chow_dynasty, Flavian_dynasty, Habsburg, Han, Han_dynasty, Hanover, Hanoverian_line, Hapsburg, Hohenzollern, House_of_Hanover, House_of_Lancaster, House_of_Tudor, House_of_Windsor, House_of_York, Lancaster, Lancastrian_line, Liao, Liao_dynasty, Manchu, Manchu_dynasty, Marx_Brothers, Medici, Merovingian, Merovingian_dynasty, Ming, Ming_dynasty, Moghul, Mogul, Mongol_dynasty, Omayyad, Ommiad, Ottoman, Ottoman_dynasty, Plantagenet...

appearance as argument number 1
-------------------------


(subclass FamilyGroup GroupOfPeople) Merge.kif 16618-16618 Family group is a subclass of group of people
(documentation FamilyGroup EnglishLanguage "A GroupOfPeople whose members bear familyRelations to one another.") Merge.kif 16619-16620 Family group is a subclass of group of people
(externalImage FamilyGroup "http://upload.wikimedia.org/wikipedia/commons/ b/ b7/ US_hoosier_family.jpg") pictureList.kif 1477-1477 Family group is a subclass of group of people

appearance as argument number 2
-------------------------


(range ImmediateFamilyFn FamilyGroup) Merge.kif 16645-16645 The range of immediate family is an instance of family group
(range DescendantsFn FamilyGroup) Mid-level-ontology.kif 8784-8784 The range of descendants is an instance of family group
(subclass NuclearFamily FamilyGroup) Mid-level-ontology.kif 25496-25496 Nuclear family is a subclass of family group
(termFormat EnglishLanguage FamilyGroup "family group") english_format.kif 1345-1345 Nuclear family is a subclass of family group

antecedent
-------------------------


(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))		 Merge.kif 16622-16629 If X is an instance of family group, then For all Organisms Y and Z: if Y is a member of X and Z is a member of X, then Y and Z are related


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners