Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


(documentation FamilyGroup ChineseLanguage "这是一组由互相拥有 familyRelationmember 所组成的 GroupOfPeople。") chinese_format.kif 3674-3675
(documentation FamilyGroup EnglishLanguage "A GroupOfPeople whose members bear familyRelations to one another.") Merge.kif 15090-15091
(externalImage FamilyGroup "http://upload.wikimedia.org/wikipedia/commons/ b/ b7/ US-hoosier-family.jpg") pictureList.kif 1478-1478
(subclass FamilyGroup GroupOfPeople) Merge.kif 15089-15089 Family group is a subclass of group of people

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


(range DescendantsFn FamilyGroup) Mid-level-ontology.kif 7152-7152 The range of descendants is an instance of family group
(range ImmediateFamilyFn FamilyGroup) Merge.kif 15116-15116 The range of immediate family is an instance of family group
(subclass NuclearFamily FamilyGroup) Mid-level-ontology.kif 21113-21113 Nuclear family is a subclass of family group
(termFormat ChineseLanguage FamilyGroup "家族群组") chinese_format.kif 1065-1065
(termFormat EnglishLanguage FamilyGroup "family group") english_format.kif 1346-1346

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


(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))
Merge.kif 15093-15100


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners